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 2501, Mon Nov 4 17:23:39 2013 UTC revision 2502, Mon Nov 4 21:33:35 2013 UTC
# Line 7  Line 7 
7          structure N = NormalizeEin          structure N = NormalizeEin
8      structure X =ExamplesN      structure X =ExamplesN
9      structure XS =ExamplesS      structure XS =ExamplesS
10        structure mk=mkOperators
11    
12      in      in
13    
14    
15  val x=[]  val x=[1]
16    
17    
18  val line="\n ------------------ "  val line="\n ------------------ "
19    
20  fun test(e)= let val n=N.normalize(e)  fun test(e)= let val (n,c)=N.normalize(e)
21  in (print line;print(P.printerE(e)); print "=>";print( P.printerE(n)); print line;n)  in (print line;print(P.printerE(e)); print "=>";print( P.printerE(n)); print line;n)
22      end      end
23    

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

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