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

1 : cchiw 2463 structure TypeCheck = struct
2 : cchiw 2447
3 :     local
4 :    
5 :     structure E = Ein
6 :     structure P = Printer
7 : cchiw 2497 structure TE= TypeEin
8 :     structure PE= PhaseEin
9 :     structure F=ExamplesF
10 :     structure N = NormalizeEin
11 :    
12 : cchiw 2447 in
13 :    
14 :    
15 :    
16 : cchiw 2497 fun tester(e,phase,expect)=
17 :     let
18 : cchiw 2448
19 : cchiw 2497 val b= PE.checkPhase(e,phase)
20 :     in if(b=expect) then(
21 :     if(b=true) then (let
22 :     val p=print(P.printerE e)
23 :     val a1=TE.checker(e,phase)
24 :     val x= TE.printTy(a1)
25 : cchiw 2502 val (n,_)=N.normalize(e)
26 : cchiw 2497 val a2=TE.checker(n,phase)
27 :    
28 :     in (print "==>";print(P.printerE n);TE.printTy(a1))end )
29 :     else print "")
30 :     else (print(P.printerE e);print "\n Failed")
31 :     end
32 : cchiw 2448
33 :    
34 : cchiw 2497 (*
35 : cchiw 2494
36 : cchiw 2497 val r1=List.map tester [(F.probe1,1,true),(F.probe1,2,false),(F.probe2,1,true),(F.probe3,2,false),(F.probe4,1,true),(F.probe5,2,false),(F.probe6,1,true),(F.probe7,2,false),(F.probe8,1,true),(F.probe8,2,false)]
37 : cchiw 2494
38 : cchiw 2497 val r1=List.map tester [(F.sum1,1,true),(F.sum2,1,true),(F.sum3,1,true),(F.sum4,1,true),(F.sum5,1,true),(F.sum6,1,true),(F.sum7,1,true),(F.sum8,1,true),(F.sum9,1,true)]
39 : cchiw 2494
40 : cchiw 2497
41 :    
42 :     val r1=List.map tester [(F.sumapply1,1,true),(F.sumapply2,1,true),(F.sumapply3,1,true),(F.sumapply4,1,true),(F.sumapply5,1,true),(F.sumapply6,1,true),(F.sumapply7,1,true)]
43 : cchiw 2499 *)
44 : cchiw 2447 end; (* local *)
45 :    
46 :     end (* local *)

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