Galfour
097c5ca0fb
change bin display
2019-04-23 07:30:43 +00:00
Galfour
72f5698c3d
add variants
2019-04-22 18:15:39 +00:00
Galfour
55bff7b530
lift tests to ast_simplify
2019-04-22 03:29:21 +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
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
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
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
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
e79b17fddf
Defined Open_on_rhs_bind module for new ppx_let
2019-04-19 12:34:48 +02:00
Galfour
280981c73b
major refactoring ; now easy to add new operators
2019-04-19 09:27:48 +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
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
9ac9fdd562
minimal liquidity integration
2019-04-13 08:59:32 +00:00
Galfour
2499222b46
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos
2019-04-12 19:32:16 +00:00
Galfour
b106ee5186
Merge branch 'master' of gitlab.com:gabriel.alfour/tezos
2019-04-12 19:32:06 +00:00
Georges Dupéron
e4ca6608bb
Structured error messages with JSON, for now the pretty-printers are badly written but can easily be refactored.
2019-04-12 19:45:52 +02:00
Galfour
f6bfa1e049
extend with annots
2019-04-12 16:28:12 +00:00
Georges Dupéron
47eed300e9
simple_error, simple_fail and asserts should take strings as arguments, not thunks
2019-04-12 16:55:04 +02:00
Galfour
badda06e7b
start simplify liquidity
2019-04-12 13:30:11 +00:00
Georges Dupéron
dffdc766fc
Lazy construction of error and trace messages so that the happy path is faster
2019-04-11 18:56:36 +02:00
Galfour
c0b5ad05cf
refactor mini_c
2019-04-10 12:47:55 +00:00
Galfour
6bca49fb8b
more heaps
2019-04-10 12:09:32 +00:00
Galfour
c8bd6c8893
add map update
2019-04-10 09:28:52 +00:00
Galfour
95d901a43d
tmp
2019-04-09 20:42:04 +00:00
Galfour
2eeea19ecb
non-atomic commit: refactor ; add Nat to lexer and parser ; improve multifix ; start heap tests
2019-04-09 09:05:08 +00:00
Galfour
e9f90858a2
integration
2019-04-06 11:18:55 +00:00
Galfour
8657509bd7
moving stuff around
2019-04-05 17:54:10 +00:00
Galfour
c7a7f0065a
mend
2019-03-30 22:06:10 +00:00
Galfour
f19f3fd785
map tests
2019-03-30 18:38:21 +00:00
Galfour
f08b0e155b
fixed tezos-utils.opam
2019-03-25 07:48:43 +00:00
Galfour
4b4c450b9a
add tezos-utils
2019-03-13 11:12:15 +00:00