Yann Hamdaoui
|
b06903d6c9
|
Accept dynamic strings as tags of blame labels
|
2020-12-21 18:16:55 +01:00 |
|
Yann Hamdaoui
|
1348aad48a
|
Use the stack to store DynExtend's argument
|
2020-12-21 18:16:54 +01:00 |
|
Eelco Dolstra
|
7e8d1a8762
|
Merge pull request #250 from tweag/task/ops-use-stack-3
Eliminate the inner terms of primitive operators 3: ChunksConcat
|
2020-12-21 15:00:09 +01:00 |
|
Eelco Dolstra
|
9a3f5e7f4a
|
Merge pull request #249 from tweag/task/ops-use-stack-2
Eliminate the inner terms of primitive operators 2: ListMap/RecordMap
|
2020-12-21 14:59:39 +01:00 |
|
Eelco Dolstra
|
9021b426be
|
Merge pull request #248 from tweag/task/ops-use-stack
Eliminate the inner terms of primitive operators 1: Switch
|
2020-12-21 14:59:21 +01:00 |
|
Eelco Dolstra
|
3a72ae41e2
|
Merge pull request #234 from tweag/refactor/meta-values-cleaning
[Refactor]Remove the previous representation of metavalues
|
2020-12-21 14:42:20 +01:00 |
|
Eelco Dolstra
|
37f28e2b2e
|
Merge pull request #233 from tweag/refactor/meta-values
[Refactor]Change the representation of metavalues
|
2020-12-21 14:41:54 +01:00 |
|
Yann Hamdaoui
|
732d30189e
|
Merge pull request #247 from tweag/task/eq-operator
Built-in evaluation of a sequence of equalities
|
2020-12-18 10:55:05 +00:00 |
|
Yann Hamdaoui
|
61c2ab8808
|
Merge pull request #245 from tweag/task/lazy-lists-map
Lazy `map` operator
|
2020-12-18 10:52:55 +00:00 |
|
Yann Hamdaoui
|
f9d0c1c62f
|
Merge pull request #243 from tweag/task/primitive-operators-representation
Special syntax for fully-applied primitive operations
|
2020-12-18 10:52:29 +00:00 |
|
Yann Hamdaoui
|
949cca7442
|
Merge pull request #222 from tweag/fix/extra-row-error-message
[Fix]Wrong `extra row` error message
|
2020-12-15 17:49:34 +00:00 |
|
Yann Hamdaoui
|
92d36327c5
|
Add test for stack handling of ChunksConcat
|
2020-12-14 12:18:40 +01:00 |
|
Yann Hamdaoui
|
a74b2967fd
|
Update typechecking of ChunksConcat
|
2020-12-14 12:07:58 +01:00 |
|
Yann Hamdaoui
|
68d3a858c6
|
Update ChunkConcats to use the stack
|
2020-12-14 12:05:23 +01:00 |
|
Yann Hamdaoui
|
c867d899b4
|
Do not hide state inside ChunkConcats
|
2020-12-14 11:37:02 +01:00 |
|
Yann Hamdaoui
|
4cf6946a40
|
Push the function argument on the stack in ListMap/RecordMap
|
2020-12-11 18:37:37 +01:00 |
|
Yann Hamdaoui
|
a7508c0846
|
Typecheckin of switch
|
2020-12-11 18:20:58 +01:00 |
|
Yann Hamdaoui
|
2a071fea45
|
Evaluation of new switch
|
2020-12-11 18:20:58 +01:00 |
|
Yann Hamdaoui
|
defd953c40
|
Add dedicated switch construct in the AST
|
2020-12-11 18:20:53 +01:00 |
|
Yann Hamdaoui
|
bbf7ee0493
|
Fix clearing of Eq on the stack
|
2020-12-11 11:09:49 +01:00 |
|
Yann Hamdaoui
|
7a40814216
|
Test that Eq correctly clear the stack
|
2020-12-11 10:21:31 +01:00 |
|
Yann Hamdaoui
|
c82eed5b95
|
Push eqs on stack, remove MultiEq
|
2020-12-11 09:54:25 +01:00 |
|
Yann Hamdaoui
|
7d6e9c4d80
|
Fix MultiEq + comments formatting
|
2020-12-09 18:13:08 +01:00 |
|
Yann Hamdaoui
|
84d2550f35
|
Make MultiEq binary to reduce allocations
|
2020-12-09 17:58:05 +01:00 |
|
Yann Hamdaoui
|
2d9717ef6d
|
Add MultiEq operation to evaluate a sequence of equalities
|
2020-12-09 15:46:39 +01:00 |
|
Yann Hamdaoui
|
51cbeeab15
|
Closurize the result of RecordMap
|
2020-12-09 15:42:49 +01:00 |
|
Yann Hamdaoui
|
48ac893531
|
Make map lazy in its first argument
|
2020-12-09 15:42:49 +01:00 |
|
Yann Hamdaoui
|
382d940ad1
|
Rename mapRec to RecordMap
|
2020-12-09 15:42:49 +01:00 |
|
Yann Hamdaoui
|
5c511b270c
|
Add comment + formatting
|
2020-12-09 15:42:46 +01:00 |
|
Yann Hamdaoui
|
9fb8df71c1
|
Formatting
|
2020-12-09 15:39:22 +01:00 |
|
Yann Hamdaoui
|
e7aed63cd0
|
Add comment + formatting
|
2020-12-09 15:39:20 +01:00 |
|
Yann Hamdaoui
|
782d468184
|
Add records stdlib with builtins wrappers
|
2020-12-09 15:26:30 +01:00 |
|
Yann Hamdaoui
|
800059fde0
|
Lists: add missing elemAt and fix map's type
|
2020-12-09 15:26:30 +01:00 |
|
Yann Hamdaoui
|
dc5a067cdd
|
Include builtins in the stdlib
|
2020-12-09 15:26:30 +01:00 |
|
Yann Hamdaoui
|
e8bccd3f5d
|
Use new primops syntax in tests
|
2020-12-09 15:26:30 +01:00 |
|
Yann Hamdaoui
|
ceeb205bf5
|
Use new primops syntax in the stdlib
|
2020-12-09 15:26:30 +01:00 |
|
Yann Hamdaoui
|
3731991a7f
|
Use special syntax for primitive operations
|
2020-12-09 15:26:30 +01:00 |
|
Yann Hamdaoui
|
b04c275b0e
|
Remove old merge token from the lexer/parser
|
2020-12-09 15:26:30 +01:00 |
|
Arnaud Spiwack
|
8a439d5e0a
|
Merge pull request #246 from tweag/fix/failing-ci-promise
[Fix]Failing CI on master (old Promise syntax)
|
2020-12-09 12:31:57 +01:00 |
|
Yann Hamdaoui
|
325e2fff80
|
Update syntax of Promise in dynamic row tail tests
|
2020-12-09 12:10:09 +01:00 |
|
Yann Hamdaoui
|
c35100e7f8
|
Merge pull request #217 from tweag/feature/dyn-record-contracts
Open record contracts
|
2020-12-09 10:53:47 +00:00 |
|
Théophane Hufschmitt
|
ffc350daf7
|
Merge pull request #239 from tweag/task/meta-value-typechecking
Use type information of metavalues
|
2020-12-08 13:36:35 +01:00 |
|
Eelco Dolstra
|
c4648b7469
|
Merge pull request #242 from tweag/task/remove-iszero
Remove isZero operator
|
2020-12-07 18:08:17 +01:00 |
|
Yann Hamdaoui
|
fdaea4828c
|
Merge pull request #238 from tweag/syntax/line-comments
[Syntax]Support line comments
|
2020-12-07 13:38:39 +00:00 |
|
Yann Hamdaoui
|
c3edd770a1
|
Merge pull request #237 from tweag/fix/lists-flatten
[Fix]Lists.flatten reversed
|
2020-12-07 13:19:06 +00:00 |
|
Yann Hamdaoui
|
ad0f19ac08
|
Remove isZero operator
|
2020-12-07 11:39:42 +01:00 |
|
Yann Hamdaoui
|
9f4dac8afc
|
Apparent type of metavalue with contract
|
2020-12-04 11:34:01 +01:00 |
|
Yann Hamdaoui
|
17af56f7c5
|
Support line comments
|
2020-12-04 10:37:37 +01:00 |
|
Yann Hamdaoui
|
42e1cb4d20
|
Fix reversed lists.flatten
|
2020-12-04 09:52:08 +01:00 |
|
Yann Hamdaoui
|
0c0f912005
|
Remove dead code
|
2020-12-04 09:47:41 +01:00 |
|