diff options
Diffstat (limited to 'syntax.sml')
| -rw-r--r-- | syntax.sml | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -57,7 +57,7 @@ struct | LRecord of lexp list | LSelect of int * lexp | LPrim of primop - | LSwitch of lexp * (int * lexp) list * lexp + | LSwitch of lexp * (int * lexp) list * lexp option (* CPS *) datatype value = @@ -173,7 +173,7 @@ struct | LRecord l => "LRecord " ^ listToString lexpToString l | LSelect (i, r) => "LSelect (" ^ Int.toString i ^ ", " ^ lexpToString r ^ ")" | LPrim p => "LPrim " ^ primopToString p - | LSwitch (e, arms, otherwise) => "LSwitch (" ^ lexpToString e ^ ", " ^ listToString (fn (x, e) => "(" ^ Int.toString x ^ ", " ^ lexpToString e ^ ")") arms ^ ", " ^ lexpToString otherwise ^ ")" + | LSwitch (e, arms, otherwise) => "LSwitch (" ^ lexpToString e ^ ", " ^ listToString (fn (x, e) => "(" ^ Int.toString x ^ ", " ^ lexpToString e ^ ")") arms ^ ", " ^ optionToString lexpToString otherwise ^ ")" fun valueToString (x : value) : string = case x of |