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.
