id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
188,"Bad quantifier in type for ""undefined""",benl,,"
Type inference for this code
{{{
undefined :: a
undefined = primThrow_silent @ (Exception ""undefined"")
}}}

gives
{{{
foreign import undefined
        :: forall t0
        .  t0
        :- LazyH (forall t0. t0 :- LazyH t0)
        ,  LazyH t0
}}}

But that first LazyH constraint is dodgy.


",defect,new,blocker,0.1.3,Source Type Inferencer,0.1.2,,,