sail/test/typecheck, branch sail2 Formal specification language for ISAs Enum value feature request for Alexandre 2021-01-05T11:11:04+00:00 Alasdair 2020-12-01T03:26:33+00:00 8b2a3fa0eae0f49b78c0c5f845d3824d21f98df3 






Don't allow type synonyms with the same name as existing types
2021-01-05T11:11:04+00:00

Alasdair

2020-11-23T14:18:58+00:00

c4723c747fec4557776858641b03e1eb4a0a5878












Remove bogus pattern completeness warning on singleton enums and unions
2020-11-25T22:40:29+00:00

Brian Campbell

2020-11-25T22:40:29+00:00

3c43a474e03ef94839ebef530f5a2bbd173add5b












Fix Lem output for single element enum
2020-11-25T21:46:03+00:00

Brian Campbell

2020-11-25T21:45:49+00:00

3d0064a157a711f21d23f56dc2c423b2e3b1d74a












tests: Move copy-pasted code into a shared helper .sh
2020-09-25T11:30:09+00:00

Alex Richardson

2020-09-25T09:12:56+00:00

782d3860eb0134c81d4a4204b7caab72cda3bd1d

Also fix a few shellcheck warnings related to printf while doing so.





Also fix a few shellcheck warnings related to printf while doing so.







Forbid duplicate top-level letbindings
2020-08-06T16:22:47+00:00

Alasdair

2020-08-06T16:22:47+00:00

be32e9e3d3e70ddea1ecfc41dafbc054060b7b78












Update duplicate ctor warning
2020-07-15T12:55:12+00:00

Alasdair

2020-07-15T12:55:12+00:00

71db59830383b7db5316b5c99ccebe776fc837dc












Add test files missed from last commit
2020-07-15T10:22:31+00:00

Mark Wassell

2020-07-15T10:22:31+00:00

71694474c5d59f61fb6b96ac396d30c6c43a2c73












Make `if cond { ... return() };` assert cond in the type environment
2020-06-17T14:28:42+00:00

Brian Campbell

2020-06-17T14:28:42+00:00

a7d351c71d43585d789bc92df3ba27f4e533d1b7

Avoids generating an assert expression with an escape effect.
Mirrors existing case for `if cond { throw(...); };`.
No longer requires `-non_lexical_flow`.





Avoids generating an assert expression with an escape effect.
Mirrors existing case for `if cond { throw(...); };`.
No longer requires `-non_lexical_flow`.







Add test for if-return pattern
2020-06-17T13:57:29+00:00

Brian Campbell

2020-06-17T13:57:29+00:00

60284d322dd9c240d65954a67488c2a880ef5907

(currently supported in nl_flow)





(currently supported in nl_flow)