From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 28 Mar 2011 00:20:22 +0000 (-0700)
Subject: Merge branch 'master' of http://git.megacz.com/coq-hetmet
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=ddac2a6a7301788326cd9107965e59fc0804daad

Merge branch 'master' of git.megacz.com/coq-hetmet

Conflicts:
	src/Extraction-prefix.hs
---

ddac2a6a7301788326cd9107965e59fc0804daad
diff --cc src/Extraction-prefix.hs
index ea7cabf,56322c9..fbe22cb
--- a/src/Extraction-prefix.hs
+++ b/src/Extraction-prefix.hs
@@@ -51,11 -58,9 +51,8 @@@ cmpAlts (a1,_,_) (a2,_,_)         = Dat
  sortAlts :: [(CoreSyn.AltCon,[Var.Var],CoreSyn.Expr Var.Var)] -> [(CoreSyn.AltCon,[Var.Var],CoreSyn.Expr Var.Var)]
  sortAlts x = Data.List.sortBy (\a b -> if a `CoreSyn.ltAlt` b then Data.Ord.LT else Data.Ord.GT) x
  
 --- to do: this could be moved into Coq
  coreVarToWeakVar :: Var.Var -> WeakVar
  coreVarToWeakVar v | Id.isId     v = WExprVar (WeakExprVar v (errOrFail (coreTypeToWeakType (Var.varType v))))
-  where
-   errOrFail (OK x)    = x
-   errOrFail (Error s) = Prelude.error s
  coreVarToWeakVar v | Var.isTyVar v = WTypeVar (WeakTypeVar v (coreKindToKind (Var.varType v)))
  coreVarToWeakVar v | Var.isCoVar v = WCoerVar (WeakCoerVar v (Prelude.error "FIXME") 
                                                               (Prelude.error "FIXME") (Prelude.error "FIXME"))