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