19 |
fun toStringAssgn(DstIL.ASSGN (x, A))=(case A |
fun toStringAssgn(DstIL.ASSGN (x, A))=(case A |
20 |
of DstIL.OP(opss,args)=> String.concat [(Var.toString x),"==",DstOp.toString opss, |
of DstIL.OP(opss,args)=> String.concat [(Var.toString x),"==",DstOp.toString opss, |
21 |
" : ",(String.concatWith "," (List.map Var.toString args))] |
" : ",(String.concatWith "," (List.map Var.toString args))] |
22 |
| DstIL.LIT _=> String.concat[Var.toString x,"==...Lit"] |
| DstIL.LIT _=> String.concat[Var.toString x,"==...Literal"] |
23 |
| DstIL.CONS (_, varl)=> String.concat[(Var.toString x),"==", |
| DstIL.CONS (ty, vars)=> String.concat[(Var.toString x),"== Type:",DstTy.toString ty,"--", |
24 |
(String.concatWith "," (List.map (fn e1=> Var.toString e1) varl))] |
(String.concatWith "," (List.map (fn e1=> Var.toString e1) vars))] |
25 |
| _ => String.concat[Var.toString x,"==","Etc",toStringRHS x] |
| _ => String.concat[Var.toString x,"==","Etc",toStringRHS x] |
26 |
(*end case*)) |
(*end case*)) |
27 |
| toStringAssgn _ = raise Fail "Non-assignment operator" |
| toStringAssgn _ = raise Fail "Non-assignment operator" |