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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2463, Fri Oct 11 03:18:53 2013 UTC revision 2494, Wed Oct 23 14:32:58 2013 UTC
# Line 9  Line 9 
9  in  in
10    
11    
12  fun tester(e)=  fun tester(e1,t)=
13      let val m=C.printType(C.checker e)      let val m=C.printType(C.checker (e1,t))
14      in      in
15          (P.printerE e; print m)  (P.printerE e1; print m;print "\n")
16      end      end
17    
18    
19  val addTensor = E.EIN{  val addTensor = (
20        E.EIN{
21      params = [E.TEN, E.TEN],      params = [E.TEN, E.TEN],
22      index = [],      index = [],
23      body = E.Add[E.Tensor(0, []),E.Tensor(1, [])]      body = E.Add[E.Tensor(0, []),E.Tensor(1, [])]
24  }      },1)
25    
26    
27    
 (*  
28  val r=tester(addTensor)  val r=tester(addTensor)
29  *)  
30    
31  end; (* local *)  end; (* local *)
32    
33  end (* local *)  end (* local *)

Legend:
Removed from v.2463  
changed lines
  Added in v.2494

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