[M3devel] [M3commit] CVS Update: cm3

Jay jay.krell at cornell.edu
Mon Jan 5 19:04:22 CET 2009


Reading the code ...there is a command line option to the compiler to apparently make it:
               ADR  (x: T)            : UNTRACED REF T. 
Good?bad?better?different?
Seems more type safe.
I haven't tried it.
  - Jay



From: hosking at cs.purdue.eduTo: jkrell at elego.deDate: Mon, 5 Jan 2009 21:47:15 +1100CC: m3devel at elegosoft.comSubject: Re: [M3devel] [M3commit] CVS Update: cm3According to the language spec:





The following operations are primarily used for address arithmetic:               ADR  (VAR x: Any)            : ADDRESS 

     infix     +    (x: ADDRESS, y:INTEGER) : ADDRESS
     infix     -    (x: ADDRESS, y:INTEGER) : ADDRESS
     infix     -    (x,y: ADDRESS)          : INTEGER
ADR(x) is the address of the variable x. The actual argument must be a designator but need not be writable.



On 5 Jan 2009, at 08:25, Jay Krell wrote:

CVSROOT: /usr/cvsChanges by: jkrell at birch. 09/01/05 08:25:48Modified files:cm3/m3-sys/m3front/src/builtinOps/: Adr.m3 Log message:minor cleanup; should see about switching this? Or removing it? Looks like some indecisiveness and that the switched off way is more type-safe..
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20090105/e2f333c0/attachment-0002.html>


More information about the M3devel mailing list