diff options
| author | krasimir <krasimir@chalmers.se> | 2010-05-28 14:15:15 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-05-28 14:15:15 +0000 |
| commit | c3f4c3eba7b7d98f48cfe56711eb18611bb89515 (patch) | |
| tree | 42dafb392663e9a92238fd6b2f4dfa289b468f0e /src/compiler/GF/Grammar/Unify.hs | |
| parent | b3d6f01f403dbf86207079b214b75c2445ad55b7 (diff) | |
refactoring in GF.Grammar.Grammar
Diffstat (limited to 'src/compiler/GF/Grammar/Unify.hs')
| -rw-r--r-- | src/compiler/GF/Grammar/Unify.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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 |