Galfour
097c5ca0fb
change bin display
2019-04-23 07:30:43 +00:00
Galfour
1814d8cbfa
add super-counter
2019-04-23 07:12:11 +00:00
Galfour
0aa01ddcd8
add variant expression pattern-matching
2019-04-22 18:56:13 +00:00
Galfour
72f5698c3d
add variants
2019-04-22 18:15:39 +00:00
Galfour
0a83ea5227
dune-capsulate
2019-04-22 07:21:59 +00:00
Galfour
55bff7b530
lift tests to ast_simplify
2019-04-22 03:29:21 +00:00
Galfour
de6a3bbf6d
refactor more
2019-04-21 17:07:35 +00:00
Galfour
0e04a152bb
refactor ast_simplified
2019-04-21 12:11:13 +00:00
Galfour
7a2bd3d73d
prepare lifting transpilation environments
2019-04-21 11:56:57 +00:00
Galfour
c2ac9ab361
rewrite type environments
2019-04-21 09:03:50 +00:00
Galfour
af6da6bfa0
add environment to typed expression
2019-04-20 21:35:18 +00:00
Galfour
b61869cb16
refactor more
2019-04-20 20:19:01 +00:00
Galfour
369e73a110
refactor ast_typed
2019-04-20 19:16:02 +00:00
Galfour
50926c205e
update lib_utils
2019-04-20 18:52:28 +00:00
Galfour
ecc509ad4c
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos
2019-04-20 11:06:49 +00:00
Galfour
d7426504d0
replace tuples by records
2019-04-20 11:06:40 +00:00
Georges Dupéron
741742e48b
Debug for CI
2019-04-20 12:31:56 +02:00
Georges Dupéron
a3b5a82d97
Debug info for CI, added synopsis for ligo.opam
2019-04-20 12:27:32 +02:00
Georges Dupéron
3ef44fe523
dummy to trigger build
2019-04-20 12:03:06 +02:00
Georges Dupéron
6ca85e0be4
Added missing dependencies
2019-04-20 11:09:07 +02:00
Georges Dupéron
fee7b2b750
Wrong repo (tezos-opam-repository → new-tezos-opam-repository)
2019-04-20 10:29:54 +02:00
Georges Dupéron
d29502c926
Re-add a dependency on ppx_let, it seems that it is used somewhere (in third-party code?)
2019-04-20 02:14:28 +02:00
Georges Dupéron
058f03d223
Use only ppx_let_generalized (one dune file was still relying on ppx_let)
2019-04-20 01:52:41 +02:00
Georges Dupéron
e578b991b3
Use only ppx_let_generalized (some dune files were still relying on ppx_let)
2019-04-20 01:23:58 +02:00
Georges Dupéron
772db1c25d
CI 3
2019-04-20 01:00:07 +02:00
Georges Dupéron
b4148f5c65
CI 2
2019-04-20 00:41:29 +02:00
Georges Dupéron
645a217da5
CI 1
2019-04-20 00:31:49 +02:00
Georges Dupéron
0786edf3f3
Added JSON annotations on Ok values in the trace monad.
...
In some cases the values are dropped when converting values out of the monad or when converting the successful generation of an error message to an actual error. Look for `ignore annotations` in the source code for the places where these annotations are dropped.
2019-04-20 00:04:04 +02:00
Galfour
ba1e605011
refactor little ; add error message
2019-04-19 20:57:05 +00:00
Galfour
168251ff0e
move predicate compilation
2019-04-19 18:25:32 +00:00
Georges Dupéron
01bb951d3d
rm wrong dep
2019-04-19 18:05:10 +02:00
Georges Dupéron
0ce5a864c0
Renamed ppx_let to ppx_let_generalized (part 2)
...
To avoid conflicts in an installaction containing both our changes and the official version.
2019-04-19 16:36:43 +02:00
Georges Dupéron
a759b50f87
Renamed ppx_let to ppx_let_generalized (part 1)
...
To avoid conflicts in an installaction containing both our changes and the official version.
2019-04-19 16:36:43 +02:00
Georges Dupéron
db2cc00626
Merge ppx_let
2019-04-19 12:35:00 +02:00
Georges Dupéron
e79b17fddf
Defined Open_on_rhs_bind module for new ppx_let
2019-04-19 12:34:48 +02:00
Georges Dupéron
9942e5677d
Moved all ppx_let files from third-party git repository to src/ppx_let
2019-04-19 12:25:24 +02:00
Georges Dupéron
abe8126151
Single point of configuration to add many let%foo directives
2019-04-19 11:59:32 +02:00
Galfour
280981c73b
major refactoring ; now easy to add new operators
2019-04-19 09:27:48 +00:00
Galfour
eaf749cbc5
refactor: mini_c expression built and access through combinators
2019-04-19 07:59:16 +00:00
Galfour
0521c3d3b7
test closure and higher order function
2019-04-18 21:29:35 +00:00
Galfour
ef4a5030fa
closure
2019-04-18 17:04:44 +00:00
Galfour
3515730d9f
add simple closures
2019-04-18 09:08:39 +00:00
Galfour
079e997cc4
tmp
2019-04-17 22:53:43 +00:00
Galfour
c74e2846df
fix free_variables bug
2019-04-17 22:02:11 +00:00
Galfour
d97f546b45
tmp: some error
2019-04-17 16:46:32 +00:00
Galfour
5131ac0024
centralize declarations ; prompt questions
2019-04-17 08:24:21 +00:00
Galfour
d72d60a08d
add alternative definition for operation typing
2019-04-16 15:59:28 +00:00
Xavier Clerc
2df862bdbf
v0.13-preview.120.32+18
2019-04-16 09:38:08 +01:00
Galfour
49c44f9721
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos
2019-04-15 17:42:15 +00:00
Galfour
126b62b18e
better mini_c instructions
2019-04-15 17:42:06 +00:00
