Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/MLRISC/Tools/FakeSMLAst/ast-util.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/Tools/FakeSMLAst/ast-util.sml

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

revision 774, Wed Jan 10 12:50:56 2001 UTC revision 775, Fri Jan 12 01:17:51 2001 UTC
# Line 36  Line 36 
36     fun BOOLexp x = LITexp(BOOLlit x)     fun BOOLexp x = LITexp(BOOLlit x)
37     fun STRINGexp s = LITexp(STRINGlit s)     fun STRINGexp s = LITexp(STRINGlit s)
38     fun INTexp x = LITexp(INTlit x)     fun INTexp x = LITexp(INTlit x)
39       fun INTINFexp x = LITexp(INTINFlit x)
40     fun CHARexp x = LITexp(CHARlit x)     fun CHARexp x = LITexp(CHARlit x)
41     fun WORDexp x = LITexp(WORDlit x)     fun WORDexp x = LITexp(WORDlit x)
42     fun WORD32exp x = LITexp(WORD32lit x)     fun WORD32exp x = LITexp(WORD32lit x)
# Line 43  Line 44 
44     fun BOOLpat x = LITpat(BOOLlit x)     fun BOOLpat x = LITpat(BOOLlit x)
45     fun STRINGpat s = LITpat(STRINGlit s)     fun STRINGpat s = LITpat(STRINGlit s)
46     fun INTpat x = LITpat(INTlit x)     fun INTpat x = LITpat(INTlit x)
47       fun INTINFpat x = LITpat(INTINFlit x)
48     fun CHARpat x = LITpat(CHARlit x)     fun CHARpat x = LITpat(CHARlit x)
49     fun WORDpat x = LITpat(WORDlit x)     fun WORDpat x = LITpat(WORDlit x)
50     fun WORD32pat x = LITpat(WORD32lit x)     fun WORD32pat x = LITpat(WORD32lit x)
# Line 132  Line 134 
134           | kind(WORDlit _) = 4           | kind(WORDlit _) = 4
135           | kind(WORD32lit _) = 5           | kind(WORD32lit _) = 5
136           | kind(INTINFlit _) = 6           | kind(INTINFlit _) = 6
137             | kind(REALlit _) = 7
138     in  case (x, y) of     in  case (x, y) of
139           (INTlit x,INTlit y) => Int.compare(x,y)           (INTlit x,INTlit y) => Int.compare(x,y)
140         | (BOOLlit x,BOOLlit y) => if x = y then EQUAL         | (BOOLlit x,BOOLlit y) => if x = y then EQUAL
# Line 141  Line 144 
144         | (WORDlit x,WORDlit y) => Word.compare(x,y)         | (WORDlit x,WORDlit y) => Word.compare(x,y)
145         | (WORD32lit x,WORD32lit y) => Word32.compare(x,y)         | (WORD32lit x,WORD32lit y) => Word32.compare(x,y)
146         | (INTINFlit x,INTINFlit y) => IntInf.compare(x,y)         | (INTINFlit x,INTINFlit y) => IntInf.compare(x,y)
147           | (REALlit x,REALlit y) => String.compare(x,y)
148         | (x, y) => Int.compare(kind x,kind y)         | (x, y) => Int.compare(kind x,kind y)
149     end     end
150  end  end

Legend:
Removed from v.774  
changed lines
  Added in v.775

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