Ticket #188 (new defect)

Opened 4 years ago

Bad quantifier in type for "undefined"

Reported by: benl Owned by:
Priority: blocker Milestone: 0.1.3
Component: Source Type Inferencer Version: 0.1.2
Keywords: Cc:

Description

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.

Note: See TracTickets for help on using tickets.