ligo/src/passes/12-compiler/uncompiler.mli

open Errors
open Mini_c.Types
open Proto_alpha_utils.Memory_proto_alpha
open X
open Proto_alpha_utils.Trace

val translate_value : ex_typed_value -> (value , compiler_error) result
result monad refactoring: - do not use plain JSON rep for errors and use polymorphic variants instead - split formatting for human readable and JSON output - no more simple_errors simple_fails - much less result bindings used in stages 2020-06-12 15:33:14 +04:00			`open Errors`
Interface for Ocaml code 2019-10-07 18:18:32 +04:00			`open Mini_c.Types`
			`open Proto_alpha_utils.Memory_proto_alpha`
			`open X`
			`open Proto_alpha_utils.Trace`

result monad refactoring: - do not use plain JSON rep for errors and use polymorphic variants instead - split formatting for human readable and JSON output - no more simple_errors simple_fails - much less result bindings used in stages 2020-06-12 15:33:14 +04:00			`val translate_value : ex_typed_value -> (value , compiler_error) result`