From 75a0b52b9937ab6b68ed98cc24281bc9153e96b9 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 8 May 2011 21:21:15 -0700 Subject: [PATCH] add PairTyCon and UnitTyCon --- src/HaskLiteralsAndTyCons.v | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/HaskLiteralsAndTyCons.v b/src/HaskLiteralsAndTyCons.v index 62d638b..38e7f95 100644 --- a/src/HaskLiteralsAndTyCons.v +++ b/src/HaskLiteralsAndTyCons.v @@ -90,4 +90,6 @@ Instance TyConToLatex : ToLatex TyCon := { toLatex := fun x => toLatex (toS Instance TyFunToLatex : ToLatex TyCon := { toLatex := fun x => toLatex (toString x) }. Variable ModalBoxTyCon : TyCon. Extract Inlined Constant ModalBoxTyCon => "TysWiredIn.hetMetCodeTypeTyCon". +Variable PairTyCon : TyFun. Extract Inlined Constant PairTyCon => "TysWiredIn.pairTyCon". +Variable UnitTyCon : TyFun. Extract Inlined Constant UnitTyCon => "TysWiredIn.unitTyCon". Variable ArrowTyCon : TyCon. Extract Constant ArrowTyCon => "Type.funTyCon". -- 1.7.10.4