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 101, Thu May 14 04:56:46 1998 UTC revision 102, Thu May 14 05:53:10 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)
290               | (TC_TUPLE (_, [])) => tcode_void
291             | (TC_TUPLE (_, ts)) => tcode_record             | (TC_TUPLE (_, ts)) => tcode_record
292             | (TC_ARROW (_,tc1,tc2)) => tcode_void             | (TC_ARROW (_,tc1,tc2)) => tcode_void
293             | (TC_ABS tx) => loop tx             | (TC_ABS tx) => loop tx
# Line 388  Line 389 
389            of (TC_PRIM pt) => if PT.unboxed pt then NO else YES            of (TC_PRIM pt) => if PT.unboxed pt then NO else YES
390                  (* if PT.ubxupd pt then YES else NO *)                  (* if PT.ubxupd pt then YES else NO *)
391                      (* this is just an approximation *)                      (* this is just an approximation *)
392               | (TC_TUPLE (_, [])) => YES
393             | (TC_TUPLE (_, ts)) => NO             | (TC_TUPLE (_, ts)) => NO
394             | (TC_ARROW (_,tc1,tc2)) => YES (* NO *)             | (TC_ARROW (_,tc1,tc2)) => YES (* NO *)
395             | (TC_ABS tx) => loop tx             | (TC_ABS tx) => loop tx

Legend:
Removed from v.101  
changed lines
  Added in v.102

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