Opened 9 years ago

Closed 7 years ago

#188 closed defect (wontfix)

Bad quantifier in type for "undefined"

Reported by: benl Owned by:
Priority: normal Milestone: 0.3.0
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.

Change History (3)

comment:1 Changed 7 years ago by benl

  • Milestone 0.1.3 deleted

Milestone 0.1.3 deleted

comment:2 Changed 7 years ago by benl

  • Priority changed from blocker to normal

comment:3 Changed 7 years ago by benl

  • Milestone set to 0.3.0
  • Resolution set to wontfix
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.