From ac5be38aa368d0de91245ce717447c19c40937ca Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Mon, 4 Jul 2011 00:33:28 -0700 Subject: [PATCH 1/1] HaskTyCons: add Int and Bool --- src/HaskTyCons.v | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/HaskTyCons.v b/src/HaskTyCons.v index 617cd59..1eb479a 100644 --- 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". -- 1.7.10.4