prop-src/constr.pcc

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //
   3 //  This file simply instantiates all the datatypes used in the Prop -> C++
   4 //  translator.
   5 //
   6 ///////////////////////////////////////////////////////////////////////////////
   7 #include "ir.ph"
   8 #include "ast.ph"
   9 #include "matchcom.ph"
  10
  11 instantiate datatype
  12    Ty, TyCon, Pat, Exp, Cons, Pos, Match, Decl, MatchExp, Inherit,
  13    Literal, Cost, MatchRule, Protocol, DatatypeDef,
  14    TyDef, TermDef, ViewDef, LawDef, FunDef, QualId, InferenceRule,
  15    Conclusion, LogicalPat, Scope, Polarity,
  16    List<Ty>, List<Pat>, List<Exp>, List<Pos>, List<Decl>, List<Inherit>,
  17    List<MatchExp>, List<MatchRule>, List<Protocol>, List<DatatypeDef>,
  18    List<TyDef>, List<TermDef>, List<ViewDef>, List<LawDef>, List<FunDef>,
  19    List<QualId>, List<InferenceRule>, List<Conclusion>,
  20    List<Scope>, Pid, Pair<Id,Tys>,
  21    Generator, List<Generator>, List<RewriteIndexing *>
  22 ;