Commit 5329d0a5 authored by Julian Kranz's avatar Julian Kranz
Browse files

Merge

parents ede87197 e6c2eaad
......@@ -189,9 +189,11 @@ Exp
| MID CaseExp (MID CaseExp)* => (
let
val (names, exps) = ListPair.unzip SR
val name = {span={file= !sourcemap, span=MID_SPAN}, tree= MID :: names}
val name = Atom.atom (String.concat (List.map Atom.toString (MID :: names)))
val qid = {span={file= !sourcemap, span=MID_SPAN}, tree= name}
val id = mark PT.MARKexp (MID_SPAN, PT.IDexp qid)
in
mark PT.MARKexp (FULL_SPAN, mkApply (CaseExp, exps))
mark PT.MARKexp (FULL_SPAN, mkApply (id, CaseExp :: exps))
end
)
;
......
......@@ -313,9 +313,11 @@ fun Exp_PROD_2_ACT (SR, MID, CaseExp, SR_SPAN : (Lex.pos * Lex.pos), MID_SPAN :
(
let
val (names, exps) = ListPair.unzip SR
val name = {span={file= !sourcemap, span=MID_SPAN}, tree= MID :: names}
val name = Atom.atom (String.concat (List.map Atom.toString (MID :: names)))
val qid = {span={file= !sourcemap, span=MID_SPAN}, tree= name}
val id = mark PT.MARKexp (MID_SPAN, PT.IDexp qid)
in
mark PT.MARKexp (FULL_SPAN, mkApply (CaseExp, exps))
mark PT.MARKexp (FULL_SPAN, mkApply (id, CaseExp :: exps))
end
)
fun CaseExp_PROD_1_ACT (ClosedExp, ClosedExp_SPAN : (Lex.pos * Lex.pos), FULL_SPAN : (Lex.pos * Lex.pos)) =
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment