Ticket #30 (closed bug report: fixed)

Opened 5 years ago

Last modified 5 years ago

Check the use on type operators

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

Description

There is a problem in handling type operators. We can't check that TypeOperators? are enabled directly when we encounter them, since we don't know whether the type we're parsing will be used as a data constructor, where the operators would be allowed even in Haskell98. So we need to allow the operators always, and then check in a post-pass that the types are actually valid.

This will probably be implemented in the same check that does forall-checking, for ticket #29.

This is part of ticket #14.

Change History

Changed 5 years ago by nibro

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

With the new separation between parse types and actual types, this was trivial to implement.

Note: See TracTickets for help on using tickets.