Ticket #58 (closed bug report: fixed)

Opened 5 years ago

Last modified 5 years ago

Parse error on data (a :< b) = ...

Reported by: Neil Mitchell Owned by: nibro
Priority: major Milestone: Full document support
Component: parser Version: 1.1.0
Keywords: Cc: gwern0@…, darcs-users@…

Description

data (a1 :< a2)  = Foo

Give's a parse error - if you remove the brackets then it works. This bug causes parse errors when parsing darcs.

Change History

Changed 5 years ago by anonymous

  • cc gwern0@…, darcs-users@… added

Changed 5 years ago by nibro

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

Simple one-line fix now appearing in 1.1.4 in the repo, will appear in the next release. Case closed.

Note: See TracTickets for help on using tickets.