Ticket #6 (closed bug report: fixed)

Opened 4 years ago

Last modified 4 years ago

Parser cannot handle kind signatures on arguments to type family constructors

Reported by: nibro Owned by: nibro
Priority: major Milestone: Full code support
Component: parser Version:
Keywords: Cc:

Description 

data Id = Id

type family Rep (f :: * -> *) x :: *

type instance Rep Id x = x

Parsing works without the ':: * -> *'.

Change History

Changed 4 years ago by nibro

  • status changed from new to closed
  • resolution set to fixed

This turned out to be not just with type families, but with kind signatures on parameters to all declarations. I've changed the [Name] to [TyVarBind?], and all the checks accordingly, and this now works. Case closed.

Note: See TracTickets for help on using tickets.