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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2494 - (view) (download)

1 : cchiw 2463 structure TypeCheck = struct
2 : cchiw 2447
3 :     local
4 :    
5 :     structure E = Ein
6 :     structure P = Printer
7 : cchiw 2463 structure C=TypeCheck
8 : cchiw 2447 structure Op=Operators
9 :     in
10 :    
11 :    
12 : cchiw 2494 fun tester(e1,t)=
13 :     let val m=C.printType(C.checker (e1,t))
14 : cchiw 2448 in
15 : cchiw 2494 (P.printerE e1; print m;print "\n")
16 : cchiw 2448 end
17 : cchiw 2447
18 : cchiw 2448
19 : cchiw 2494 val addTensor = (
20 :     E.EIN{
21 : cchiw 2448 params = [E.TEN, E.TEN],
22 :     index = [],
23 :     body = E.Add[E.Tensor(0, []),E.Tensor(1, [])]
24 : cchiw 2494 },1)
25 : cchiw 2448
26 :    
27 : cchiw 2494
28 : cchiw 2448 val r=tester(addTensor)
29 : cchiw 2494
30 :    
31 : cchiw 2447 end; (* local *)
32 :    
33 :     end (* local *)

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