identifiers.scrbl (1015B)
1 #lang scribble/manual 2 @require[phc-toolkit/scribblings/utils 3 @for-label[xlist/untyped]] 4 @(def-orig typed [xlist] 5 xlist) 6 7 @title{Special identifiers recognised by @racket[xlist]} 8 @defmodule*[(xlist 9 xlist/untyped) 10 #:link-target? #f 11 #:use-sources 12 [(lib "xlist/infinity-identifier.rkt") 13 (lib "xlist/caret-identifier.rkt") 14 (lib "xlist/once-identifier.rkt")]] 15 16 @defidform[^]{This identifier can only be used within xlist forms.} 17 18 @defidform[once]{This identifier can only be used within xlist forms.} 19 20 @defidform[∞]{ 21 This identifier is meant to be used within xlist forms, but is also equal to 22 @racket[+inf.0] as a convenience. In the future, this package will make it 23 possible for other packages to overload the meaning of the @racket[^] and 24 @racket[∞] identifiers, so that the value of @racket[∞] may depend on the 25 packages loaded (for example a symbolic math package may want to attach a 26 special value to @racket[∞].}