if there is oper patt = #(...) then it also should be decoded to Unicode

This commit is contained in:
krasimir
2009-08-27 15:57:38 +00:00
parent a6bdd2d3c8
commit c5ac722916

View File

@@ -29,6 +29,7 @@ codeTerm :: (String -> String) -> Term -> Term
codeTerm co t = case t of
K s -> K (co s)
T ty cs -> T ty [(codp p,codeTerm co v) | (p,v) <- cs]
EPatt p -> EPatt (codp p)
_ -> composSafeOp (codeTerm co) t
where
codp p = case p of --- really: composOpPatt