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 2494 - (download) (annotate)
Wed Oct 23 14:32:58 2013 UTC (7 years ago) by cchiw
File size: 437 byte(s)
 ein
structure TypeCheck = struct

local

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


fun tester(e1,t)=
    let val m=C.printType(C.checker (e1,t))
    in
(P.printerE e1; print m;print "\n")
    end


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



val r=tester(addTensor)


end; (* local *)

end (* local *)

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