- 21:42 Ticket #28 (Failure to detect dependent type errors) created by
- The following grammar type-checks in GF, but should not:[…]
- 10:41 Ticket #27 (Error in type-checking dependent types) created by
- The following grammar is type-incorrect, since Issue isn't applied to two …
- 13:14 Ticket #26 (Error in gfc --make / gfc -f) created by
- Options --make plus -f FMT has problems. They work fine together: $ gfc …
Note: See TracTimeline for information about the timeline view.