From f49db0fc38c6c430585e4e48304510212c3f1a0f Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Mon, 14 Mar 2011 16:36:40 -0700 Subject: [PATCH] fix sortAlts so it actually does something --- src/Extraction-prefix.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/Extraction-prefix.hs b/src/Extraction-prefix.hs index d0b6ffa..558d0ab 100644 --- a/src/Extraction-prefix.hs +++ b/src/Extraction-prefix.hs @@ -22,6 +22,8 @@ import qualified CoreSyn import qualified CoreUtils import qualified Class import qualified Data.Char +import qualified Data.List +import qualified Data.Ord import qualified Data.Typeable import Data.Bits ((.&.), shiftL, (.|.)) import Prelude ( (++), (+), (==), Show, show, Char, (.) ) @@ -46,8 +48,8 @@ errOrFail (Error s) = Prelude.error s getTyConTyVars :: TyCon.TyCon -> [Var.TyVar] getTyConTyVars tc = if TyCon.isFunTyCon tc then [] else if TyCon.isPrimTyCon tc then [] else TyCon.tyConTyVars tc -sortAlts :: [(CoreSyn.AltCon,a,b)] -> [(CoreSyn.AltCon,a,b)] -sortAlts x = x -- FIXME +sortAlts :: [(CoreSyn.AltCon,[Var.Var],CoreSyn.Expr Var.Var)] -> [(CoreSyn.AltCon,[Var.Var],CoreSyn.Expr Var.Var)] +sortAlts x = Data.List.sortBy (\(a1,_,_) -> \(a2,_,_) -> Data.Ord.compare a1 a2) x -- to do: this could be moved into Coq coreVarToWeakVar :: Var.Var -> WeakVar -- 1.7.10.4