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

SCM Repository

[diderot] View of /branches/charisee/src/compiler/einTest/testCheck.sml
ViewVC logotype

View of /branches/charisee/src/compiler/einTest/testCheck.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2463 - (download) (annotate)
Fri Oct 11 03:18:53 2013 UTC (7 years ago) by cchiw
File size: 415 byte(s)
probe.sml
structure TypeCheck = struct

local

structure E = Ein
structure P = Printer
structure C=TypeCheck
structure Op=Operators
in


fun tester(e)=
    let val m=C.printType(C.checker e)
    in
        (P.printerE e; print m)
    end


val addTensor = E.EIN{
    params = [E.TEN, E.TEN],
    index = [],
    body = E.Add[E.Tensor(0, []),E.Tensor(1, [])]
}


(*
val r=tester(addTensor)
*)
end; (* local *)

end (* local *)

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