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
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
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
Yann Hamdaoui
6a734ab6a6
Update stdlib to semicolon-less syntax
2021-03-11 18:04:28 +01:00
Yann Hamdaoui
9db41efddc
Get rid of semicolon in records, use comma instead
2021-03-11 18:04:02 +01:00
Yann Hamdaoui
7a70b1704b
Allow variable-length string delimiters for static strings
2021-03-11 17:31:48 +01:00
Yann Hamdaoui
16b02c60c7
Fixes in the nums stdlib
2021-03-11 11:52:25 +01:00
Yann Hamdaoui
b23df115a1
Add the pow primop
2021-03-11 11:10:55 +01:00
Yann Hamdaoui
7a2b101f58
Add a nums stdlib
2021-03-11 10:44:36 +01:00
Yann Hamdaoui
ad376d3968
Formatting & clippy's suggestions
2021-03-08 19:13:52 +01:00
Yann Hamdaoui
190e2ec4e6
Fix typechecking of metavalues with type annotation
2021-03-08 17:02:31 +01:00
Yann Hamdaoui
3137899068
Add documentation, small fixes and formatting
2021-03-08 17:02:31 +01:00
Yann Hamdaoui
2b75d8b190
Improve representation of metavalues
...
Add type annotation (promise) to metavalues to avoid the problem of
having a type annotation and a metavalue nested in the wrong order, and
allow a flat representation. Instead of composing contracts eagerly,
keep a list of all requirements, for better reporting.
2021-03-08 17:02:31 +01:00
Eelco Dolstra
9a594f4600
Merge pull request #313 from tweag/task/test-suite-2
...
Migrate failure tests
2021-03-08 15:10:49 +01:00
Eelco Dolstra
f92141d78e
Merge pull request #312 from tweag/syntax/applicative-lax-arguments
...
Allow chained record operations as arguments to applications
2021-03-08 15:09:39 +01:00
Yann Hamdaoui
79aab9214d
Migrate remaining failure tests from Program
2021-03-08 12:57:39 +01:00
Yann Hamdaoui
9a61b78775
Get rid of old syntax Assume/Default/..
2021-03-08 12:57:39 +01:00
Yann Hamdaoui
c3442189b5
Move typecheck tests expected to fail to tests/
2021-03-08 12:57:39 +01:00
Yann Hamdaoui
2e4cb2eae0
Move contract tests expecting failure to tests
2021-03-08 12:57:39 +01:00
Rok Garbas
d7cf9f3886
Merge pull request #310 from tweag/task/ghactions-macos
...
Fix build on MacOS, add MacOS to tested platforms
2021-03-04 16:05:26 +01:00
Yann Hamdaoui
69de683203
Fix typo in comments
2021-03-03 18:46:18 +01:00
Yann Hamdaoui
fdc6d64313
Allow chained records op as application arguments
2021-03-03 18:24:43 +01:00
Yann Hamdaoui
c1f1bdbed0
Fix target system in GH actions
2021-03-03 17:28:37 +01:00
Yann Hamdaoui
b53e311149
Fix typo in flake.nix
2021-03-03 14:07:05 +01:00
Eelco Dolstra
04cafbf79c
Merge remote-tracking branch 'origin/task/integers-serialization'
2021-03-03 13:57:09 +01:00
Yann Hamdaoui
5e5198da34
Serialize num as integers whenever possible
2021-03-03 13:21:15 +01:00
Yann Hamdaoui
aa4487f77e
Add missing Security input for MacOS
2021-03-03 11:11:48 +01:00
Yann Hamdaoui
561a2a711a
Test on MacOS in GitHub actions
2021-03-03 11:11:36 +01:00
Eelco Dolstra
6be511ee59
Merge remote-tracking branch 'origin/feature/contracts-error-reporting'
2021-03-03 10:44:17 +01:00
Eelco Dolstra
95678fe6c6
Merge pull request #301 from tweag/task/fill-position-information
...
Fill inherited position of evaluated terms
2021-03-03 10:34:30 +01:00
Eelco Dolstra
3ecf1dd159
Merge pull request #300 from tweag/task/better-position-information
...
Improve position information
2021-03-03 10:33:58 +01:00
Yann Hamdaoui
518716cd34
Merge pull request #306 from tweag/task/test-suite
...
Migrate passing tests to standalone nickel files
2021-03-02 17:04:32 +00:00
Yann Hamdaoui
4b9e7973cf
Formatting
2021-03-02 17:40:44 +01:00
Yann Hamdaoui
eae42a6c32
Fix tests for new syntax
2021-03-02 17:26:07 +01:00
Yann Hamdaoui
a9de19682c
Remove moved serialize tests
2021-03-02 17:25:42 +01:00
Yann Hamdaoui
11dff538de
Fix incomplete moving ExportFormat from main to serialize
2021-03-02 17:25:18 +01:00
Yann Hamdaoui
519c2a7aad
Moving serialize tests to testsuite
2021-03-02 17:24:18 +01:00
Yann Hamdaoui
f6a40a90a3
Check each file in a separate test
2021-03-02 16:53:54 +01:00
Yann Hamdaoui
94124d0f40
Formatting
2021-03-02 16:53:54 +01:00
Yann Hamdaoui
5519d6ec3d
Remove redundant tests in typecheck
2021-03-02 16:53:51 +01:00
