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 77, Tue Apr 14 05:21:45 1998 UTC revision 78, Fri Apr 17 17:58:14 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
# Line 706  Line 708 
708  end (* structure TypeOper *)  end (* structure TypeOper *)
709    
710    
711    
712    (*
713     * $Log: typeoper.sml,v $
714     * Revision 1.1.1.1  1998/04/08 18:39:44  george
715     * Version 110.5
716     *
717     *)

Legend:
Removed from v.77  
changed lines
  Added in v.78

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