diff options
Diffstat (limited to 'src/GF/Compile/Coding.hs')
| -rw-r--r-- | src/GF/Compile/Coding.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/GF/Compile/Coding.hs b/src/GF/Compile/Coding.hs index 89e458956..665b5916d 100644 --- a/src/GF/Compile/Coding.hs +++ b/src/GF/Compile/Coding.hs @@ -26,13 +26,12 @@ codeSourceModule co (id,moi) = case moi of ModMod mo -> (id, ModMod $ replaceJudgements mo (mapTree codj (jments mo))) _ -> (id,moi) where - codj (c,info) = (c, case info of + codj (c,info) = case info of ResOper pty pt -> ResOper (mapP codt pty) (mapP codt pt) ResOverload es tyts -> ResOverload es [(codt ty,codt t) | (ty,t) <- tyts] CncCat pty pt mpr -> CncCat pty (mapP codt pt) (mapP codt mpr) CncFun mty pt mpr -> CncFun mty (mapP codt pt) (mapP codt mpr) _ -> info - ) codt t = case t of K s -> K (co s) T ty cs -> T ty [(codp p,codt v) | (p,v) <- cs] |