CVS: sml-dist/src/compiler/ElabData/types typesutil.sml, 1.3.2.1, 1.3.2.2
David MacQueen <[email protected]>
| Newsgroups | gmane.comp.lang.sml.smlnj.commits |
|---|---|
| Message-ID | <[email protected]> |
Update of /cvsroot/smlnj/sml-dist/src/compiler/ElabData/types
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv24436/src/compiler/ElabData/types
Modified Files:
Tag: primop-branch-2
typesutil.sml
Log Message:
update of InlInfo
Index: typesutil.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/ElabData/types/typesutil.sml,v
retrieving revision 1.3.2.1
retrieving revision 1.3.2.2
diff -C2 -d -r1.3.2.1 -r1.3.2.2
*** typesutil.sml 15 Jun 2006 22:28:07 -0000 1.3.2.1
--- typesutil.sml 19 Jun 2006 22:29:00 -0000 1.3.2.2
***************
*** 584,597 ****
let fun isrefdcon(DATACON{rep=A.REF,...}) = true
| isrefdcon _ = false
! fun iscast (VALvar { info, ... }) = InlInfo.pureInfo info
! | iscast _ = false
! (* -- 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)
| iscast _ = false
- *)
(* LAZY: The following function allows applications of the
--- 584,590 ----
let fun isrefdcon(DATACON{rep=A.REF,...}) = true
| isrefdcon _ = false
!
! fun iscast (VALvar { info, ... }) = InlInfo.isPrimCast info
| iscast _ = false
(* LAZY: The following function allows applications of the