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
Georges Dupéron
f8090e4b3e
Threaded the srcloc for top-level declarations until transpiler.ml
2019-04-15 18:32:43 +02:00
Georges Dupéron
e2ef15a9b9
Moved Pos and Region to lib_utils so that source locations in lib_utils may use those.
2019-04-15 15:44:08 +02:00
Galfour
5b577c1fa4
tmp
2019-04-15 11:38:05 +00:00
Galfour
c2dd795287
tmp
2019-04-15 11:20:20 +00:00
Galfour
fc544bacf9
simplify environments
2019-04-15 10:55:05 +00:00
Galfour
0522d922c2
separate declaration from assignment at mini_c and ast_typed level
2019-04-15 07:23:41 +00:00
Galfour
68f37e14aa
rename Mini_c statements
2019-04-15 05:26:04 +00:00
Galfour
1007bfda1e
add counter
2019-04-14 21:45:36 +00:00
Galfour
3e6e96644c
add list (partial)
2019-04-14 12:02:45 +00:00
