Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] View of /branches/charisee/src/compiler/einTest/sources.cm
ViewVC logotype

View of /branches/charisee/src/compiler/einTest/sources.cm

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2521 - (download) (annotate)
Thu Jan 9 02:17:07 2014 UTC (5 years, 8 months ago) by cchiw
File size: 814 byte(s)
Added type Checker
(* sources.cm
 *
 * COPYRIGHT (c) 2012 The Diderot Project (http://diderot-language.cs.uchicago.edu)
 * All rights reserved.
 *)

Library



structure ExamplesF
structure ExamplesN
structure ExamplesS
structure Ex
(*
structure tOp
structure tOrder
structure TypeCheck

structure NormalizeEin
structure tNormalize

structure tExpandConv*)
structure App
(*structure tRewrite
structure tApp*)
structure EinOp
structure tgen
structure tkrn
structure tsplit
is

  $/basis.cm
  $/smlnj-lib.cm

../ein/sources.cm
../high-il/normalize-ein.sml
../high-to-mid/expand-integrate.sml
../high-il/app-ein.sml


examplesN.sml
examplesS.sml
examplesF.sml
Ex.sml
(*testOp.sml
testOrder.sml
testCheck.sml*)
testNormalize.sml
(*
testExpandConv.sml
(*testRewrite.sml*)
testApp.sml*)
operations.sml
testgen.sml
testkrn.sml
testsplit.sml

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