CVS: sml-dist/src/compiler/ElabData/basics access.sml, 1.2, 1.2.20.1
George Kuan <[email protected]> Wed, 02 Aug 2006 20:11:34 -0700
| Newsgroups | gmane.comp.lang.sml.smlnj.commits |
|---|---|
| Message-ID | <[email protected]> |
Update of /cvsroot/smlnj/sml-dist/src/compiler/ElabData/basics
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv23654/src/compiler/ElabData/basics
Modified Files:
Tag: primop-branch-2
access.sml
Log Message:
(mutually-)rectype arity checking done
Index: access.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/ElabData/basics/access.sml,v
retrieving revision 1.2
retrieving revision 1.2.20.1
diff -C2 -d -r1.2 -r1.2.20.1
*** access.sml 15 Aug 2001 21:16:55 -0000 1.2
--- access.sml 3 Aug 2006 03:11:32 -0000 1.2.20.1
***************
*** 49,53 ****
= UNTAGGED (* 30 bit + 00; a pointer *)
| TAGGED of int (* a pointer; 1st field is the tag *)
! | TRANSPARENT (* 32 bit value *)
| CONSTANT of int (* should be int31 *)
| REF
--- 49,53 ----
= UNTAGGED (* 30 bit + 00; a pointer *)
| TAGGED of int (* a pointer; 1st field is the tag *)
! | TRANSPARENT (* 32 bit value, singleton dcon dt *)
| CONSTANT of int (* should be int31 *)
| REF
***************
*** 57,63 ****
| LISTNIL
!
! datatype consig
! = CSIG of int * int
| CNIL
--- 57,66 ----
| LISTNIL
! (* See ElabData/types/core-basictypes.sml and
! * Elaborator/types/basictypes.sml for samples
! *
! * FLINT/cps/switch.sml uses consig during representation analysis *)
! datatype consig
! = CSIG of int * int (* # dcon tagged, # untagged *)
| CNIL
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys -- and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV