From d3ec1a707935363472ed0d2e85db277ccc91d5c8 Mon Sep 17 00:00:00 2001 From: presenthee Date: Tue, 20 Aug 2024 13:49:21 +0900 Subject: [PATCH] Minor change --- spectec/src/il2al/translate.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/spectec/src/il2al/translate.ml b/spectec/src/il2al/translate.ml index 5cec871927..8a2fc6e3a5 100644 --- a/spectec/src/il2al/translate.ml +++ b/spectec/src/il2al/translate.ml @@ -246,11 +246,9 @@ and translate_exp exp = (* Constructor *) (* TODO: Need a better way to convert these CaseE into ConstructE *) (* TODO: type *) - | [ [{it = Il.LBrack; _}]; [{it = Il.Dot2; _}]; [{it = Il.RBrack; _}] ], [ e1; e2 ] -> - tupE [ translate_exp e1; translate_exp e2 ] ~at:at ~note:note | [ []; [] ], [ e1 ] -> translate_exp e1 - | [ []; []; [] ], [ e1; e2 ] -> - tupE [ translate_exp e1; translate_exp e2 ] ~at:at ~note:note + | [ []; []; [] ], [ e1; e2 ] + | [ [{it = Il.LBrack; _}]; [{it = Il.Dot2; _}]; [{it = Il.RBrack; _}] ], [ e1; e2 ] | [ []; [{it = Il.Semicolon; _}]; [] ], [ e1; e2 ] -> tupE [ translate_exp e1; translate_exp e2 ] ~at:at ~note:note | _, _ when List.length op = List.length exps + 1 ->