Opened 3 years ago
Last modified 22 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 22 months ago by benl
- Type changed from defect to bug
Note: See
TracTickets for help on using
tickets.