Opened 3 years ago

Last modified 17 months ago

#373 new bug

Check that type equations are not recursive.

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

Description

If the set of type equations / synonyms is recursive then the type checker will probably loop.

Change History (2)

comment:1 Changed 2 years ago by benl

  • Milestone 0.5.0 deleted

comment:2 Changed 17 months ago by benl

  • Type changed from defect to bug
Note: See TracTickets for help on using tickets.