>>
>> (: current-defined-name (Parameterof (U Symbol False LamPositionalName)))
>> (define current-defined-name (make-parameter UNKNOWN))
>
>
> That looks to me like a problem with the inferencer.
There's some interaction with the structure in the union. If I
simplify the type definition to:
(: current-defined-name (Parameterof (U Symbol)))
then the type system seems to be happy to accept 'unknown as an
acceptable symbol.
_________________________
Racket Developers list:
http://lists.racket-lang.org/dev
