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 2448 - (view) (download)

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

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