summaryrefslogtreecommitdiff
path: root/src/type_error.ml
AgeCommit message (Expand)Author
2020-09-29Refactor: Change AST type from a union to a structAlasdair
2020-09-28Refactor: Rename 'a defs to 'a astAlasdair
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
2020-03-18Expose details of failed lexp bounds checksThomas Bauereiss
2019-11-05Make sure we correctly forbid recursive datatypes that we don't want to supportAlasdair Armstrong
2019-05-14Add feature that allows functions to require type variables are constantAlasdair Armstrong
2019-01-08Improvements for v85Alasdair Armstrong
2018-12-22Improve error messages and debuggingAlasdair Armstrong
2018-12-17Changes for ASL parserAlasdair Armstrong
2018-12-08Compiling againAlasdair
2018-12-07Working on better flow typing for ASLAlasdair Armstrong
2018-11-30Remove constraint synonymsAlasdair Armstrong
2018-11-30Improvements for ASL parserAlasdair Armstrong
2018-11-01Changes to enable analysing type errors in ASL parserAlasdair Armstrong
2018-10-31Rename Reporting_basic to ReportingAlasdair Armstrong
2018-10-31Improve error messages for unsolved function quantifiersAlasdair Armstrong
2018-06-06Some work on improving error messagesAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:08:47 +0000