removed some operations in GeneratePMCFG. They didn't work well with variants and are now obsolete with the new partial evaluator

src/compiler/GF/Compile/GeneratePMCFG.hs

@@ -148,65 +148,15 @@ addPMCFG opts gr cenv opath am cm seqs id info = return (seqs, info)
 floc opath loc id = maybe (L loc id) (\path->L (External path loc) id) opath
 
 convert opts gr cenv loc term ty@(_,val) pargs =
-    case term' of
+  case normalForm cenv loc (etaExpand ty term) of
     Error s -> fail $ render $ ppL loc ("Predef.error: "++s)
-      _ -> do {-when (verbAtLeast opts Verbose) $
+    term    -> return $ runCnvMonad gr (convertTerm opts CNil val term) (pargs,[])
-                ePutStrLn $
-                  "\n"++take 10000 (renderStyle style{mode=OneLineMode}
-                    (text "term:"<+>term $$
-                     text "eta expanded:"<+>eterm $$
-                     text "normalized:"<+>term'))--}
-              return $ runCnvMonad gr (conv term') (pargs,[])
   where
-    conv t = convertTerm opts CNil val =<< unfactor t
+    etaExpand (context,val) = mkAbs pars . flip mkApp args
-
-    eterm = expand ty term
-    term' = normalForm cenv loc eterm
-
-expand (context,val) = mkAbs pars . recordExpand val . flip mkApp args
       where pars = [(Explicit,v) | v <- vars]
             args = map Vr vars
             vars = map (\(bt,x,t) -> x) context
 
-recordExpand :: Type -> Term -> Term
-recordExpand typ trm =
-  case typ of
-     RecType tys -> expand trm
-       where
-         n = length tys
-         expand trm =
-           case trm of
-             FV ts -> FV (map expand ts)
-             R rs | length rs==n -> trm
-             _ -> R [assign lab (P trm lab) | (lab,_) <- tys]
-     _ -> trm
-
-unfactor :: Term -> CnvMonad Term
-unfactor t = CM (\gr c -> c (unfac gr t))
-  where
-    unfac gr t =
-      case t of
-        T (TTyped ty) [(PV x,u)] -> let u' = unfac gr u
-                                        vs = allparams ty
-                                    in --trace ("expand single variable table into "++show (length vs)++" branches.\n"++render t) $
-                                       V ty [restore x v u' | v <- vs]
-        T (TTyped ty) [(PW  ,u)] -> let u' = unfac gr u
-                                        vs = allparams ty
-                                    in --trace ("expand wildcard table into "++show (length vs)++ "branches.\n"++render t) $
-                                       V ty [u' | _ <- vs]
-        T (TTyped ty) _ -> -- convertTerm doesn't handle these tables
-                           ppbug $
-                           sep ["unfactor"<+>ppU 10 t,
-                                pp (show t){-,
-                                fsep (map (ppU 10) (allparams ty))-}]
-        _ -> composSafeOp (unfac gr) t
-      where
-        allparams ty = err bug id (allParamValues gr ty)
-
-        restore x u t = case t of
-                          Vr y | y == x -> u
-                          _             -> composSafeOp (restore x u) t
-
 pgfCncCat :: SourceGrammar -> Type -> Int -> CncCat
 pgfCncCat gr lincat index =
   let ((_,size),schema) = computeCatRange gr lincat