Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /archive/0.93/doc/examples/textbooks/four_lectures/build3.sml
ViewVC logotype

View of /archive/0.93/doc/examples/textbooks/four_lectures/build3.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4958 - (download) (annotate)
Wed Apr 10 01:33:29 2019 UTC (3 months, 1 week ago) by dbm
File size: 1281 byte(s)
adding 0.93 src and doc to archive
(* build3.sml *)

               (* building the system *)

structure Expression= Expression();

structure Parser= Parser(Expression);

structure Value = Value();

structure Evaluator= 
   Evaluator(structure Expression= Expression
             structure Value = Value);


structure AppTy = AppType(); 

structure AppUnify = Unify(AppTy);

structure AppTyCh= 
  TypeChecker(structure Ex = Expression
              structure Ty = AppTy
              structure Unify= AppUnify);

structure AppInter=
  Interpreter(structure Ty= AppTy
              structure Value = Value
              structure Parser = Parser
              structure TyCh = AppTyCh
              structure Evaluator = Evaluator);

val (appint,appeval,apptc)=(AppInter.interpret,AppInter.eval,AppInter.tc);

structure ImpTy = ImpType(); 

structure ImpUnify = Unify(ImpTy);

structure ImpTyCh= 
  TypeChecker(structure Ex = Expression
              structure Ty = ImpTy
              structure Unify= ImpUnify);

structure ImpInter=
  Interpreter(structure Ty= ImpTy
              structure Value = Value
              structure Parser = Parser
              structure TyCh = ImpTyCh
              structure Evaluator = Evaluator);

val (impint,impeval,imptc)=
    (ImpInter.interpret,ImpInter.eval,ImpInter.tc);



root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0