From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 9 May 2011 04:21:15 +0000 (-0700)
Subject: add PairTyCon and UnitTyCon
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=75a0b52b9937ab6b68ed98cc24281bc9153e96b9

add PairTyCon and UnitTyCon
---

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".