Opened 5 years ago

Closed 3 years ago

#326 closed defect (fixed)

Do free vars check in new inferencer

Reported by: benl Owned by:
Priority: normal Milestone: 0.4.2
Component: Core Type Checker Version: 0.3.2
Keywords: Cc:

Description (last modified by benl)

Examples like this cause the inferencer to loop:

module Test where

data Moar (a : Data) where
        Moar    : a -> Moar a

x = Moar x 

Change History (3)

comment:1 Changed 5 years ago by benl

  • Milestone changed from 0.4.1 to 0.4.2

comment:2 Changed 3 years ago by benl

  • Description modified (diff)

comment:3 Changed 3 years ago by benl

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