Yann Hamdaoui
9c4fd831f6
Fix typechecking of pow
2021-04-07 20:34:06 +02:00
Yann Hamdaoui
ac8d53917a
Improve typechecking of primops
...
The type of primitive operations was given as an arrow type, for some
reason. This made the type error more complicated when the return type
doesn't match, giving an arrow type mismatch, instead of a simple type
mismatch. This commit rather pass types of arguments and result as
tuples.
2021-04-07 20:33:01 +02:00
Yann Hamdaoui
27c7b17670
Merge pull request #319 from tweag/task/n-ary-ops
...
Add support for n-ary operators
2021-04-07 20:27:42 +02:00
Yann Hamdaoui
3b3e56f9be
Add valuesOf to the record stdlib
2021-04-07 20:11:49 +02:00
Yann Hamdaoui
0cac4cdf21
Add the valuesOf primop
2021-04-07 20:11:04 +02:00
Yann Hamdaoui
74683d1397
Inline the code of opn(), used only once
2021-04-07 20:10:27 +02:00
Yann Hamdaoui
45d0aca805
Add support for n-ary operators
2021-04-07 20:10:27 +02:00
Yann Hamdaoui
6f1785fa37
Fill inherited pos information in ListGen
2021-04-07 20:10:02 +02:00
Yann Hamdaoui
78d81f5924
Formatting
2021-04-07 20:10:02 +02:00
Yann Hamdaoui
61160f34a8
Add non-empty contract list
2021-04-07 20:10:02 +02:00
Yann Hamdaoui
e57bb043fe
Add a generate primitive operator
2021-04-07 20:10:02 +02:00
Yann Hamdaoui
922b950231
Use better type for the comparison function in sort
2021-04-07 20:10:02 +02:00
Yann Hamdaoui
e4d162d3be
Update lists stdlib to use the comma syntax
2021-04-07 20:10:02 +02:00
Yann Hamdaoui
ed7d7638bb
Merge pull request #341 from tweag/fix/tests-serialize
...
[Fix]Fix tests, implement clippy's suggestion
2021-04-07 20:10:01 +02:00
Yann Hamdaoui
0ba4685dad
Implement clippy's suggestions
2021-04-07 19:50:50 +02:00
Yann Hamdaoui
6be0dca0ec
Fix test, use new comma syntax
2021-04-07 19:49:49 +02:00
Eelco Dolstra
2d174ca409
Merge pull request #331 from tweag/task/tests-piecewise-def
...
Add tests for record piecewise definitions
2021-04-07 17:40:56 +02:00
Eelco Dolstra
4a441faaae
Merge pull request #328 from tweag/task/add-test-package-serialization
...
Add test for serialization
2021-04-07 17:39:32 +02:00
Eelco Dolstra
1dd7cdd281
Merge pull request #317 from tweag/syntax/full-annotations
...
Full annotations
2021-04-07 17:35:21 +02:00
Eelco Dolstra
b46699c528
Merge pull request #315 from tweag/task/remove-assume
...
Remove assume from the AST, improve contract error reporting
2021-04-07 17:34:10 +02:00
Eelco Dolstra
3a9fb9abb9
Merge pull request #314 from tweag/task/improve-metavalue-repr
...
[Refactor]Improve metavalue representation and handling
2021-04-07 17:29:44 +02:00
Yann Hamdaoui
dc337a0101
Merge pull request #340 from tweag/fix/nums-stdlib-syntax
...
[Fix]Upgrade nums stdlib to use the comma syntax
2021-04-06 09:56:32 +02:00
Yann Hamdaoui
e99fdea70b
Upgrade nums stdlib to use the comma syntax
2021-04-05 19:54:52 +02:00
Yann Hamdaoui
207d4221a3
Always print fields on query
2021-04-02 12:08:54 +02:00
Yann Hamdaoui
4b5a4c267f
Remove superfluous deepseq when querying
2021-04-02 11:55:02 +02:00
Yann Hamdaoui
9c18d01e9c
Improve query evaluation and result reporting
2021-04-02 09:37:27 +02:00
Eelco Dolstra
3c52c3ac3f
Merge pull request #323 from tweag/feature/stdlib-num-recs-extension
...
Add the nums stdlib
2021-03-31 16:52:31 +02:00
Eelco Dolstra
a850418c88
Merge pull request #334 from tweag/task/update-readme
...
Update README
2021-03-31 16:51:31 +02:00
Yann Hamdaoui
6a8b211a41
Reintroduce command prefixs
2021-03-31 11:48:57 +02:00
Yann Hamdaoui
40b1efad44
Update README
2021-03-29 10:36:54 +02:00
Yann Hamdaoui
2e0f9e1981
Move record def tests in separate file, add tests
2021-03-25 11:47:59 +01:00
Yann Hamdaoui
9aaf2adf68
Add tests for piecewise record definitions
2021-03-25 11:42:31 +01:00
Yann Hamdaoui
45e3ec206f
Add test of closurization by merge
2021-03-18 12:53:46 +01:00
Yann Hamdaoui
16956eb7b9
Add test for the interaction promise/default
2021-03-18 11:57:00 +01:00
Yann Hamdaoui
f804596a18
Temporarily disable import typechecking test
2021-03-18 11:57:00 +01:00
Yann Hamdaoui
d4704a312c
Allow both type and meta annotations on bindings
2021-03-18 11:57:00 +01:00
Yann Hamdaoui
e2dcb538ad
Formatting
2021-03-18 11:56:15 +01:00
Yann Hamdaoui
f8c4a21142
Remove %assume% from the syntax
2021-03-18 11:56:15 +01:00
Yann Hamdaoui
0efcfa5b1d
Revert splitting assume in two operators
2021-03-18 11:56:15 +01:00
Yann Hamdaoui
c14954215c
Also track arguments of sub-contracts
2021-03-18 11:56:15 +01:00
Yann Hamdaoui
ae54d9d108
Split assume op in two operators
2021-03-18 11:56:15 +01:00
Yann Hamdaoui
34a47f1bce
Report arg of higher-order contracts violations
2021-03-18 11:56:15 +01:00
Yann Hamdaoui
7e0454fd5b
Make assume a binary op that updates label info
2021-03-18 11:56:15 +01:00
Yann Hamdaoui
b8e1272c49
Squash applyCtr and Assume together
2021-03-18 11:56:15 +01:00
Yann Hamdaoui
2eefd577a7
Remove debug println statement
2021-03-18 11:55:14 +01:00
Eelco Dolstra
656ad29b9f
Merge pull request #326 from tweag/fix/static-string-delimiters
...
Allow variable-length string delimiters for static strings
2021-03-17 15:02:14 +01:00
Eelco Dolstra
8d39ed9d08
Merge pull request #327 from tweag/syntax/remove-semicolon
...
[Syntax]Use comma instead of semicolon
2021-03-17 14:41:15 +01:00
Yann Hamdaoui
7a11367f72
Remove semicolons from integration tests
2021-03-11 18:05:33 +01:00
Yann Hamdaoui
8099f1de60
Remove semicolons from unit tests
2021-03-11 18:05:15 +01:00
Yann Hamdaoui
d29053a8b0
Remove semicolon token from lexer
2021-03-11 18:04:48 +01:00
