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/branches/primop-branch-2/src/compiler/ElabData/types/typesutil.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/ElabData/types/typesutil.sml

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

revision 1938, Thu Jun 15 22:28:07 2006 UTC revision 1939, Mon Jun 19 22:29:00 2006 UTC
# Line 583  Line 583 
583    | isValue (APPexp(rator, rand)) =    | isValue (APPexp(rator, rand)) =
584      let fun isrefdcon(DATACON{rep=A.REF,...}) = true      let fun isrefdcon(DATACON{rep=A.REF,...}) = true
585            | isrefdcon _ = false            | isrefdcon _ = false
586          fun iscast (VALvar { info, ... }) = InlInfo.pureInfo info  
587            | iscast _ = false          fun iscast (VALvar { info, ... }) = InlInfo.isPrimCast info
         (* -- parameterized by ii_ispure, which will be bound to InlInfo.pureInfo  
         fun iscast (VALvar { info, ... }) = ii_ispure info  
           | iscast _ = false  
         *)  
         (*  
         fun iscast(VALvar{info,...}) = II.pureInfo (II.fromExn info)  
588            | iscast _ = false            | iscast _ = false
          *)  
589    
590          (* LAZY: The following function allows applications of the          (* LAZY: The following function allows applications of the
591           * fixed-point combinators generated for lazy val recs to           * fixed-point combinators generated for lazy val recs to

Legend:
Removed from v.1938  
changed lines
  Added in v.1939

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