From d130d30669e80eed8cbf2852d48315d4e5191f20 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 28 Oct 2009 17:10:43 +0000
Subject: refactoring in GF.Grammar.Lookup

---
 src/GF/Compile/Optimize.hs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/GF/Compile')

diff --git a/src/GF/Compile/Optimize.hs b/src/GF/Compile/Optimize.hs
index c4ea4ae34..eb3fc8383 100644
--- a/src/GF/Compile/Optimize.hs
+++ b/src/GF/Compile/Optimize.hs
@@ -166,7 +166,10 @@ mkLinDefault gr typ = do
        let T _ cs = mkWildCases t'
        return $ T (TWild p) cs 
      Sort s | s == cStr -> return $ Vr varStr
-     QC q p             -> lookupFirstTag gr q p
+     QC q p             -> do vs <- lookupParamValues gr q p
+                              case vs of
+                                v:_ -> return v
+                                _   -> Bad (render (text "no parameter values given to type" <+> ppIdent p))
      RecType r  -> do
        let (ls,ts) = unzip r
        ts' <- mapM mkDefField ts
-- 
cgit v1.2.3