HaskTyCons: add Int and Bool

[coq-hetmet.git] / src / HaskTyCons.v

diff --git a/src/HaskTyCons.v b/src/HaskTyCons.v
index 617cd59..1eb479a 100644 (file)
--- a/src/HaskTyCons.v
+++ b/src/HaskTyCons.v
@@ -29,4 +29,6 @@ Instance TyFunToLatex    : ToLatex  TyCon := { toLatex  := fun x => toLatex (toS
 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 IntTyCon        : TyFun.        Extract Inlined Constant IntTyCon      => "TysWiredIn.intTyCon".
+Variable BoolTyCon       : TyFun.        Extract Inlined Constant BoolTyCon     => "TysWiredIn.boolTyCon".
 Variable ArrowTyCon      : TyCon.        Extract Constant ArrowTyCon    => "Type.funTyCon".