From c3f4c3eba7b7d98f48cfe56711eb18611bb89515 Mon Sep 17 00:00:00 2001 From: krasimir Date: Fri, 28 May 2010 14:15:15 +0000 Subject: refactoring in GF.Grammar.Grammar --- src/compiler/GF/Grammar/Unify.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/compiler/GF/Grammar/Unify.hs') diff --git a/src/compiler/GF/Grammar/Unify.hs b/src/compiler/GF/Grammar/Unify.hs index 9bb49cfe2..d08de96c7 100644 --- a/src/compiler/GF/Grammar/Unify.hs +++ b/src/compiler/GF/Grammar/Unify.hs @@ -57,8 +57,8 @@ unify e1 e2 g = let sg = maybe e1 id (lookup s g) if (sg == Meta s) then extend g s tg else unify sg tg g (t, Meta s) -> unify e2 e1 g - (Q _ a, Q _ b) | (a == b) -> return g ---- qualif? - (QC _ a, QC _ b) | (a == b) -> return g ---- + (Q (_,a), Q (_,b)) | (a == b) -> return g ---- qualif? + (QC (_,a), QC (_,b)) | (a == b)-> return g ---- (Vr x, Vr y) | (x == y) -> return g (Abs _ x b, Abs _ y c) -> do let c' = substTerm [x] [(y,Vr x)] c unify b c' g -- cgit v1.2.3