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/Compile/Abstract/Compute.hs | |
| parent | b3d6f01f403dbf86207079b214b75c2445ad55b7 (diff) | |
refactoring in GF.Grammar.Grammar
Diffstat (limited to 'src/compiler/GF/Compile/Abstract/Compute.hs')
| -rw-r--r-- | src/compiler/GF/Compile/Abstract/Compute.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/compiler/GF/Compile/Abstract/Compute.hs b/src/compiler/GF/Compile/Abstract/Compute.hs index d5c9a163c..3ca9fe432 100644 --- a/src/compiler/GF/Compile/Abstract/Compute.hs +++ b/src/compiler/GF/Compile/Abstract/Compute.hs @@ -72,7 +72,7 @@ computeAbsTermIn lookd xs e = errIn (render (text "computing" <+> ppTerm Unquali tracd (text "not defined" <+> ppTerm Unqualified 0 t2) $ return t2 look t = case t of - (Q m f) -> case lookd m f of + (Q (m,f)) -> case lookd m f of Ok (_,md) -> md _ -> Nothing _ -> Nothing @@ -114,11 +114,11 @@ tryMatch (p,t) = do (PString s, ([],K i,[])) | s==i -> return [] (PInt s, ([],EInt i,[])) | s==i -> return [] (PFloat s,([],EFloat i,[])) | s==i -> return [] --- rounding? - (PP q p pp, ([], QC r f, tt)) | + (PP (q,p) pp, ([], QC (r,f), tt)) | p `eqStrIdent` f && length pp == length tt -> do matches <- mapM tryMatch (zip pp tt) return (concat matches) - (PP q p pp, ([], Q r f, tt)) | + (PP (q,p) pp, ([], Q (r,f), tt)) | p `eqStrIdent` f && length pp == length tt -> do matches <- mapM tryMatch (zip pp tt) return (concat matches) |
