tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-11-10 00:36:28 +03:00
Code Issues Projects Releases Wiki Activity
1,150 Commits 113 Branches 18 Tags 183 MiB
8112837728
Commit Graph

1150 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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