balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Added comments.

Browse Source
This commit is contained in:
Christian Rinderknecht 2020-06-15 18:16:03 +02:00 committed by Pierre-Emmanuel Wulfman
parent 92e6d55aa8
commit 8f4ed11539
3 changed files with 14 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/passes/01-parser/cameligo/AST.ml
View File

@ -400,6 +400,10 @@ and cond_expr = {
ifnot : expr
}
(* Code injection. Note how the field [language] wraps a region in
another: the outermost region covers the header "[%<language>" and
the innermost covers the <language>. *)
and code_inj = {
language : string reg reg;
code : expr;

13
src/passes/01-parser/cameligo/Parser.mly
View File

@ -121,11 +121,10 @@ type_decl:
"type" type_name "=" type_expr {
Scoping.check_reserved_name $2;
let region = cover $1 (type_expr_to_region $4) in
let value = {
kwd_type = $1;
name = $2;
eq = $3;
type_expr = $4}
let value = {kwd_type = $1;
name = $2;
eq = $3;
type_expr = $4}
in {region; value} }
type_expr:
@ -710,6 +709,6 @@ seq_expr:
code_inj:
"<lang>" expr "]" {
let region = cover $1.region $3
and value = {language=$1; code=$2; rbracket=$3}
let region = cover $1.region $3
and value = {language=$1; code=$2; rbracket=$3}
in {region; value} }

4
src/passes/01-parser/pascaligo/AST.ml
View File

@ -426,6 +426,10 @@ and for_collect = {
block : block reg
}
(* Code injection. Note how the field [language] wraps a region in
another: the outermost region covers the header "[%<language>" and
the innermost covers the <language>. *)
and code_inj = {
language : string reg reg;
code : expr;