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/compiler/FLINT/reps/typeoper.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/reps/typeoper.sml

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

revision 94, Tue May 12 21:56:22 1998 UTC revision 95, Wed May 13 00:49:12 1998 UTC
# Line 287  Line 287 
287                              val test = ieqLexp(e, tcode_realN 2)                              val test = ieqLexp(e, tcode_realN 2)
288                           in COND(test, tcode_fpair, tcode_pair)                           in COND(test, tcode_fpair, tcode_pair)
289                          end)                          end)
            | (TC_TUPLE (_, [])) => tcode_void  
290             | (TC_TUPLE (_, ts)) => tcode_record             | (TC_TUPLE (_, ts)) => tcode_record
291             | (TC_ARROW (_,tc1,tc2)) => tcode_void             | (TC_ARROW (_,tc1,tc2)) => tcode_void
292             | (TC_ABS tx) => loop tx             | (TC_ABS tx) => loop tx
# Line 389  Line 388 
388            of (TC_PRIM pt) => if PT.unboxed pt then NO else YES            of (TC_PRIM pt) => if PT.unboxed pt then NO else YES
389                  (* if PT.ubxupd pt then YES else NO *)                  (* if PT.ubxupd pt then YES else NO *)
390                      (* this is just an approximation *)                      (* this is just an approximation *)
            | (TC_TUPLE (_, [])) => YES  
391             | (TC_TUPLE (_, ts)) => NO             | (TC_TUPLE (_, ts)) => NO
392             | (TC_ARROW (_,tc1,tc2)) => YES (* NO *)             | (TC_ARROW (_,tc1,tc2)) => YES (* NO *)
393             | (TC_ABS tx) => loop tx             | (TC_ABS tx) => loop tx

Legend:
Removed from v.94  
changed lines
  Added in v.95

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