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/compiler/TopLevel/print/ppobj.sml
[smlnj] / sml / trunk / compiler / TopLevel / print / ppobj.sml  
ViewVC logotype

Diff of /sml/trunk/compiler/TopLevel/print/ppobj.sml

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

revision 7505, Fri May 20 14:26:42 2022 UTC revision 7506, Fri May 20 14:27:11 2022 UTC
# Line 71  Line 71 
71    | isRecordTy (T.CONty(T.RECORDtyc _, _::_)) = true    | isRecordTy (T.CONty(T.RECORDtyc _, _::_)) = true
72    | isRecordTy _ = false    | isRecordTy _ = false
73    
74  (* 64BIT: what is this function testing? *)  (* FIXME: I think that this function is needed because the "TRANSPARENT"
75     * representation was disabled (see ElabData/types/conreps.sml)
76     *)
77  fun isUbxTy (T.VARty(ref (T.INSTANTIATED t))) = isUbxTy t  fun isUbxTy (T.VARty(ref (T.INSTANTIATED t))) = isUbxTy t
78    | isUbxTy (T.CONty(tc as T.GENtyc _, [])) =    | isUbxTy (T.CONty(tc as T.GENtyc _, [])) =
79        (TU.eqTycon(tc, BT.int32Tycon)) orelse        (Target.is64 andalso
80        (TU.eqTycon(tc, BT.word32Tycon))          (TU.eqTycon(tc, BT.int64Tycon) orelse TU.eqTycon(tc, BT.word64Tycon)))
81          orelse
82            (TU.eqTycon(tc, BT.int32Tycon) orelse TU.eqTycon(tc, BT.word32Tycon))
83    | isUbxTy _ = false    | isUbxTy _ = false
84    
85  fun decon (obj, {rep, name, domain}) = (case rep  fun decon (obj, {rep, name, domain}) = (case rep
Legend:
Removed from v.7505  
changed lines
  Added in v.7506
root@smlnj-gforge.cs.uchicago.edu
 ViewVC Help
Powered by ViewVC 1.0.0  
Powered By FusionForge