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 2501, Mon Nov 4 17:23:39 2013 UTC revision 2502, Mon Nov 4 21:33:35 2013 UTC
# Line 22  Line 22 
22               val p=print(P.printerE e)               val p=print(P.printerE e)
23               val a1=TE.checker(e,phase)               val a1=TE.checker(e,phase)
24               val x= TE.printTy(a1)               val x= TE.printTy(a1)
25               val n=N.normalize(e)               val (n,_)=N.normalize(e)
26               val a2=TE.checker(n,phase)               val a2=TE.checker(n,phase)
28  in (print "==>";print(P.printerE n);TE.printTy(a1))end )  in (print "==>";print(P.printerE n);TE.printTy(a1))end )

Removed from v.2501  
changed lines
  Added in v.2502

ViewVC Help
Powered by ViewVC 1.0.0