summaryrefslogtreecommitdiff
path: root/test/typecheck/fail
AgeCommit message (Expand)Author
2020-08-06Forbid duplicate top-level letbindingsAlasdair
2020-07-15Update duplicate ctor warningAlasdair
2020-07-15Add test files missed from last commitMark Wassell
2020-06-05Generate nice error messages for patterns woth duplicate bindingsAlasdair
2020-03-19Improve a particularly unhelpful type errorAlasdair
2020-02-21Make sure we test that struct literals have a complete set of fields. Fixes #60Alasdair Armstrong
2020-01-31Fix soundness bug found by MarkAlasdair
2019-11-05Forbid types declared after a scattered union being used in clausesAlasdair
2019-11-05Improve type error for recursive types slightlyAlasdair Armstrong
2019-11-05Make sure we correctly forbid recursive datatypes that we don't want to supportAlasdair Armstrong
2018-01-16Created version of typecheck test suite for sail2 branchAlasdair Armstrong
2017-11-16Fixed some longstanding issues regarding constraints on type constructors.Alasdair Armstrong
2017-11-15Additional test case for OCaml backendAlasdair Armstrong
2017-09-13Work on improving Sail error messagesAlasdair Armstrong
2017-07-31Changed behavior of return to better match ASLAlasdair Armstrong
2017-07-28Merge remote-tracking branch 'origin/sail_new_tc' into experimentsAlasdair Armstrong
2017-07-27Add test cases for overlapping record field namesAlasdair Armstrong
2017-07-27Fixed some bugs with existentials, and added test casesAlasdair Armstrong
2017-07-25Improved l-expressionsAlasdair Armstrong
2017-07-12Added vector range l-expressions and additional testsAlasdair Armstrong
2017-07-11Various typechecker improvements:Alasdair Armstrong
2017-07-10Added tests for union constructor matchingAlasdair Armstrong
2017-07-04Added effect system to new type checkerAlasdair Armstrong
2017-07-03Added records to checkerAlasdair Armstrong
2017-06-30Added flow types to new typecheckerAlasdair Armstrong
2017-06-29Added support for set constraintsAlasdair Armstrong
2017-06-29Additional tests for overloading and vector patternsAlasdair Armstrong
2017-06-28User defined overloaded operatorsAlasdair Armstrong
2017-06-27More features in bi-directional typecheckerAlasdair Armstrong
2017-06-23Support for more sail constructsAlasdair Armstrong
2017-06-22Added vector subrange support, and testsAlasdair Armstrong
2017-06-22Added support for vector append and indexingAlasdair Armstrong
2017-06-22Can now typecheck register declarations and assignmentsAlasdair Armstrong
2017-06-22Added support for bitvectorsAlasdair Armstrong
2017-06-16Some small changes to bi-directional checkerAlasdair Armstrong
2017-06-15Added support for default order declarations.Alasdair Armstrong
2017-06-15Prototype Bi-directional type checking algorithm for sailAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:09:23 +0000