[racket-dev] Is this a type error?

>>
>> (: 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.