Lesenechal Remi
44767c4b8e
Simplifier now emit CONCAT constant
2019-10-07 17:16:03 +02:00
Tom Jack
3a14ef26ef
Simplify?
2019-10-07 16:54:28 +02:00
Lesenechal Remi
08a3e08f57
add a new T_constant in ast_simplified and ast_typed
2019-10-07 16:54:28 +02:00
Georges Dupéron
0e5c9802ec
More tests with lambdas
2019-10-04 16:47:01 -04:00
Georges Dupéron
606f7ca907
More tests, integration of some of the operators
2019-10-04 16:47:01 -04:00
Georges Dupéron
8c37fe355d
test: contract for mligo version of the example on the website
2019-10-04 16:33:59 -04:00
Lesenechal Remi
4e333836cb
ignore closure error in subexpression of argument
2019-10-03 15:36:06 +02:00
Lesenechal Remi
6fbe43d28a
Check for closure when applying a function and update tests
2019-10-02 18:31:15 +02:00
Lesenechal Remi
2840eb7414
Treat env element expression as deep_closure only if they are lambda
2019-10-02 18:31:15 +02:00
Rémi Lesenechal
6850d21650
Feature/ligo 100 map tests
2019-09-27 15:52:40 +00:00
Sander
5bcf3cae6e
Refactor Ligodity parser to use shared parser.
2019-09-27 13:33:25 +00:00
Gabriel Alfour
ebf699cde7
Merge branch 'feature/failwith-typed' into 'dev'
...
Feature/failwith typed
See merge request ligolang/ligo!98
2019-09-26 20:25:46 +00:00
Tom Jack
6fc1b6430b
Add a little bit of tez tests, fix cameligo lexer bug
2019-09-26 13:31:37 -05:00
galfour
7974469159
remove fail
2019-09-26 19:30:17 +02:00
galfour
ef2f6060d5
deprecate fail
2019-09-26 19:13:25 +02:00
galfour
08809f8a5d
type failwith
2019-09-26 19:01:07 +02:00
galfour
e0e5228254
failwith test
2019-09-26 18:47:46 +02:00
Christian Rinderknecht
ca1471612f
Merge branch 'pascaligo-tests' into 'dev'
...
Add Pascaligo tests for not kwd, (commented out) procedure and for loop
See merge request ligolang/ligo!95
2019-09-26 15:09:37 +00:00
Tom Jack
389cbdbded
Hotfix: display errors, fix mystery fail
2019-09-26 06:01:09 -05:00
Tom Jack
8a96e38f04
More failure tests, fix mligo assert
2019-09-25 20:15:21 -05:00
John David Pressman
9bb0d3aa9f
Disable tests for procedures and for loops, which are unsupported
2019-09-24 16:20:52 -07:00
John David Pressman
ada8a2b703
Add (commented out) for loop test & working procedure test
...
Also clean up typo in unsupported for loop error message
2019-09-24 15:47:04 -07:00
John David Pressman
a8def8c269
Add test for boolean not
2019-09-24 12:18:07 -07:00
galfour
e6ac10f0ce
switch from tz to mtz
2019-09-24 14:29:18 +02:00
galfour
b6ee28d704
add map literals in cameligo
2019-09-24 13:54:34 +02:00
galfour
ac449d2cb3
test List.iter and List.map in cameligo
2019-09-24 10:54:14 +02:00
galfour
9c3c40c9ef
add set fold
2019-09-24 00:26:39 +02:00
galfour
c4752c5935
add map fold
2019-09-23 23:46:47 +02:00
galfour
b41b676eb8
add list fold
2019-09-23 23:33:25 +02:00
galfour
fed4891840
Merge branch 'dev' into refactor/everything
2019-09-23 16:40:51 +02:00
galfour
96fd0b4660
yay
2019-09-22 23:39:52 +02:00
galfour
37836f9512
adding option
2019-09-22 22:44:50 +02:00
galfour
720ef99c69
solve conflict
2019-09-22 22:17:28 +02:00
galfour
9fb65e71e8
more lists
2019-09-21 11:30:41 +02:00
galfour
ad79188c4f
add list pattern matching
2019-09-21 09:12:00 +02:00
Lesenechal Remi
b653996aae
Big_map support
...
Add big_map case in the uncompiler which takes the original big_map and apply the returned diff
Add input_to_value option which compiles input expressions to mini_c.values
2019-09-20 21:33:14 +02:00
Lesenechal Remi
e5b4d37af8
add E_big_map case in Ast
2019-09-20 21:33:14 +02:00
Lesenechal Remi
a9f7bb39e4
add tests for big_map
2019-09-20 21:33:14 +02:00
galfour
dc9294bbcc
add options in cameligo
2019-09-20 20:38:04 +02:00
galfour
66efff631d
add micheline
2019-09-20 18:56:55 +02:00
galfour
1b901b1c25
Merge branch 'dev' into refactor/everything
2019-09-20 17:50:47 +02:00
galfour
e3179bd7c7
tests pass again
2019-09-19 12:59:07 +02:00
galfour
015e197183
back on track
2019-09-19 01:34:37 +02:00
galfour
b619fa1f17
further down the road
2019-09-18 18:49:33 +02:00
galfour
d8b7a12c69
more refactoring
2019-09-15 13:12:19 +02:00
galfour
0fb37e9d3f
adding list cons
2019-09-08 12:34:29 +02:00
galfour
cb1aa44ff4
moving stuff around
2019-09-08 12:17:24 +02:00
Gabriel Alfour
dec2ffd2ed
Merge branch 'feature/add-hashes' into 'dev'
...
add hashes and support for bytes
See merge request ligolang/ligo!69
2019-09-07 17:04:07 +00:00
galfour
6713160530
add hashes and support for bytes
2019-09-07 18:42:59 +02:00
galfour
25b07af6ae
merge dev conflict
2019-09-07 16:54:08 +02:00
Georges Dupéron
644d90be6d
Fix CI and Makefile (WIP)
2019-09-06 17:27:09 +02:00
galfour
f831793fbd
y e s s s
2019-09-05 15:21:01 +02:00
Tom Jack
7afa8a9cdb
Test closures more
2019-08-21 07:34:34 -07:00
galfour
31a2a96810
fixed last bug
2019-08-21 11:41:57 +02:00
galfour
af588933f4
add closures
2019-08-21 10:28:27 +02:00
Tom Jack
31591f1669
Comment out tests needing closure (TODO)
2019-08-20 16:33:23 -07:00
galfour
de96a04681
simplifying compiler
2019-08-20 22:51:16 +02:00
galfour
88261fd5e2
Merge branch 'dev' into feature/better-error-messages
2019-07-21 11:58:09 +02:00
galfour
d7a16c47c1
add iterators for maps
2019-07-20 16:42:34 +02:00
galfour
564a4df145
add map to lists ; fix error with lists
2019-07-20 16:18:50 +02:00
galfour
9dd8e63cbf
add iter for set and lists
2019-07-20 13:46:42 +02:00
galfour
33101820ec
add set tests
2019-07-19 14:35:47 +02:00
galfour
5c3d801c78
add bitwise arithmetic and string arithmetic tests
2019-07-19 12:42:01 +02:00
galfour
7b9d861a34
type new operators
2019-07-19 12:13:09 +02:00
Galfour
6e3209fa4f
add manual tests; change display of errors; minor refactorings
2019-06-28 12:05:04 +00:00
Georges Dupéron
ded9c4f58f
Fix auto-detection of syntax, use a polymorphic variant to ensure all functions were updated.
2019-06-13 01:56:03 +02:00
Galfour
4c833fc7a3
add one cameligo test
2019-06-12 18:41:29 +00:00
Galfour
8c934a6fd8
more operators in the pipeline
2019-06-11 00:52:09 +00:00
Galfour
b512bf31bb
add more operators
2019-06-10 22:17:01 +00:00
Galfour
985eff44a9
more keywords ; add support for sets ; remove assert from keywords
2019-06-10 09:58:16 +00:00
Galfour
f4fc06ce72
some more operators
2019-06-10 01:41:02 +00:00
Christian Rinderknecht
4d121602eb
Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages
2019-06-07 12:48:33 +02:00
Christian Rinderknecht
a8e344c24e
Added test for Matej.
2019-06-07 12:48:21 +02:00
Georges Dupéron
743098ecbd
added test calling a function with ligo
2019-06-07 11:19:56 +02:00
Galfour
346a6fdbc4
hide compiler errors; fix ligodity's over-eager tuplification
2019-06-06 21:06:33 +00:00
Georges Dupéron
0e36d63ec4
more tests, improved error messages
2019-06-06 20:58:08 +02:00
Christian Rinderknecht
bff14309e4
Predefined values for Ligodity. Added a few more tests for Ligodity.
2019-06-06 18:40:05 +02:00
Georges Dupéron
dbe4282659
missing files in failwith and guess_string tests, oops.
2019-06-05 20:07:38 +02:00
Georges Dupéron
08626f749c
"Guess the string" contract
2019-06-05 19:21:16 +02:00
Georges Dupéron
a0624614ee
expect_eq_n: also test 1 (to check the cases 0, 1, many)
2019-06-05 19:21:15 +02:00
Georges Dupéron
02785aa754
Added failwith to camligo
2019-06-05 19:21:15 +02:00
Galfour
1fa727061b
add test hierarchy
2019-06-05 06:43:33 +00:00
Galfour
8c81432281
modify trace; oldify multifix
2019-06-03 10:33:13 +00:00
Galfour
6febd855c4
fix ligodity; add it to the bin; add source locations; merge
2019-06-01 11:29:31 +00:00
Galfour
055bee804e
fix ligodity issues
2019-05-31 22:03:06 +00:00
Galfour
320d0c1a72
various refactorings to prepare tests; tests for ligodity don't pass
2019-05-31 19:56:51 +00:00
Galfour
009b0331e9
add cameligo to the cli
2019-05-29 22:13:04 +00:00
Galfour
5b42d72e41
propagate source code locations from ligodity
2019-05-28 16:34:53 +00:00
Christian Rinderknecht
af8e9bd238
Added simplifications of Ligodity for lambdas, sequences and
...
conditionals.
Enabled in parser a type annotation on lambda parameter, and
lifted the existing type annotation in patterns to become that
type annotation.
2019-05-28 17:00:43 +02:00
Galfour
c085dae123
remove annotations from ast_simplified; make annotation expression explicit; locally very limited propagation of constraints in binding cases
2019-05-23 06:22:58 +00:00
Galfour
9d873c382b
remove statements from everywhere (very atomic commit)
2019-05-22 00:46:59 +00:00
Galfour
2a091edbc0
transpile to mini_c expressions
2019-05-20 16:17:26 +00:00
Galfour
7a5130f51f
remove environments from mini_c
2019-05-15 18:16:28 +00:00
Galfour
3c6af09b21
fix warning; fix error in tests
2019-05-15 11:44:05 +00:00
Georges Dupéron
c43570a82d
Move into src/; add vendors/ subfolder, add CI script.
2019-05-14 17:53:44 +02:00
