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

SCM Repository

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

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

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

revision 2459, Wed Oct 9 19:09:21 2013 UTC revision 2460, Wed Oct 9 19:09:26 2013 UTC
# Line 6  Line 6 
6      structure P= Printer      structure P= Printer
7          structure N = NormalizeEin          structure N = NormalizeEin
8      structure X =ExamplesN      structure X =ExamplesN
9    structure XS =ExamplesS
10    
11     structure equal=equal     structure equal=equal
12      in      in
13    
# Line 47  Line 49 
49  fun tester(e)=  List.map (fn(e1)=>  fun tester(e)=  List.map (fn(e1)=>
50      let val norm=test(create e1) in print" \n ------------------------"   end )    e      let val norm=test(create e1) in print" \n ------------------------"   end )    e
51    
52    fun tester2(e)=  List.map (fn(e1)=>
53    let val norm=test(e1) in print" \n ------------------------"   end )    e
54    
55    
56    
# Line 80  Line 83 
83      val r7=[X.R7,X.R7b,X.R7c,X.R7d,X.R7e]      val r7=[X.R7,X.R7b,X.R7c,X.R7d,X.R7e]
84      val r8=[X.R8,X.R8b,X.R8c,X.R8d,X.R8e]      val r8=[X.R8,X.R8b,X.R8c,X.R8d,X.R8e]
85      val r9=[X.R9,X.R9b,X.R9c,X.R9d]      val r9=[X.R9,X.R9b,X.R9c,X.R9d]
86      val r10=[X.R10, X.R10b, X.R10c,X.R10d, X.R10e, X.R10f]      val r10=[X.R10, X.R10b, X.R10c,X.R10d, X.R10e, X.R10f,X.R10g,X.R10h,X.R10i]
87        val r11=[X.R11,X.R11b, X.R11c, X.R11d, X.R11e]
88        val r12=[X.R12,X.R12b, X.R12c, X.R12d,X.R12e,X.R12f, X.R12g, X.R12h,X.R12i,X.R12j, X.R12k, X.R12l,X.R12m,X.R12n, X.R12o, X.R12p,X.R12q, X.R12r]
89      val r13=[X.R13, X.R13b, X.R13c]      val r13=[X.R13, X.R13b, X.R13c]
90        val r14=[X.R14, X.R14b, X.R14c]
91      val r=   if(set=1) then r1      val s1=[XS.dotGrad, XS.dotCross,XS.crossGrad,XS.curlCurl]
92          else if(set=2) then r2      val s2=[XS.S6, XS.S7, XS.S8, XS.S9]
93          else if(set=3) then r3     val s3=[XS.S10, XS.S11, XS.S12]
94          else if(set=4) then r4  
95          else if(set=5) then r5      val r=   if(set=1) then tester r1
96          else if(set=6) then r6          else if(set=2) then tester r2
97          else if(set=7) then r7          else if(set=3) then tester r3
98          else if(set=8) then r8          else if(set=4) then tester r4
99          else if(set=9) then r9          else if(set=5) then tester r5
100          else if(set=10) then r10          else if(set=6) then tester r6
101          else if(set=13) then r13          else if(set=7) then tester r7
102            else if(set=8) then tester r8
103            else if(set=9) then tester r9
104            else if(set=10) then tester r10
105            else if(set=11) then tester r11
106            else if(set=12) then tester r12
107            else if(set=13) then tester r13
108            else if(set=14) then tester r14
109            else if(set=21) then tester2 s1
110            else if(set=22) then tester2 s2
111            else if(set=23) then tester2 s3
112          else  base          else  base
113      in      in
114          tester r          r
115      end      end
116    
117    
# Line 116  Line 131 
131    
132    
133  (*Run test on normalzie*)  (*Run test on normalzie*)
134  val r1=run 10  val r1=run 23
 val r2=run 13  
135  val r3=runEqual 0  val r3=runEqual 0
136    
137    

Legend:
Removed from v.2459  
changed lines
  Added in v.2460

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