diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-05-27 20:54:31 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-05-27 20:54:31 +0000 |
| commit | 35009a2911a35f37bc1a4cdecf2b5fa20b3cc57c (patch) | |
| tree | 6ad2160c4affd2b0d82aa734ea01b76a612d4a0b /src-3.0/GF/Grammar | |
| parent | 83dc6de3a878e00c6d6a8b0312d288dc7323f058 (diff) | |
some fixes in pattern matching in Compute
Diffstat (limited to 'src-3.0/GF/Grammar')
| -rw-r--r-- | src-3.0/GF/Grammar/Lookup.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src-3.0/GF/Grammar/Lookup.hs b/src-3.0/GF/Grammar/Lookup.hs index 3c308a539..35e3b8006 100644 --- a/src-3.0/GF/Grammar/Lookup.hs +++ b/src-3.0/GF/Grammar/Lookup.hs @@ -144,7 +144,6 @@ lookupParams gr = look True where info <- lookupIdentInfo mo c case info of ResParam (Yes psm) -> return psm - AnyInd _ n -> look False n c _ -> Bad $ prt c +++ "has no parameters defined in resource" +++ prt m _ -> Bad $ prt m +++ "is not a resource" @@ -195,7 +194,7 @@ allParamValues :: SourceGrammar -> Type -> Err [Term] allParamValues cnc ptyp = case ptyp of _ | Just n <- isTypeInts ptyp -> return [EInt i | i <- [0..n]] QC p c -> lookupParamValues cnc p c - Q p c -> lookupParamValues cnc p c ---- + Q p c -> lookupResDef cnc p c >>= allParamValues cnc RecType r -> do let (ls,tys) = unzip $ sortByFst r tss <- mapM allPV tys |