www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - D2 module(system) or module(safe)?

reply Leandro Lucarella <llucax gmail.com> writes:
D 2.021 changelog says:
Added -safe switch and module(system) Identifier; syntax.

But documentation[1] says:

Safe Modules

Safe modules are modules marked as safe by the (safe) appearing in the
ModuleDeclaration. Safe modules are assumed to correctly implement a safe
memory model, and are not checked by the compiler for such even if
directed to.


Trying an example using module (safe) I get:
test.d(2): (safe) expected, not safe

=/

module (system) works, so I guess the documentation is just outdated, as
well as the compiler error message.

Is the -safe flag supposed to work? How?


[1] http://www.digitalmars.com/d/2.0/module.html

-- 
Leandro Lucarella (luca) | Blog colectivo: http://www.mazziblog.com.ar/blog/
----------------------------------------------------------------------------
GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145  104C 949E BFB6 5F5A 8D05)
----------------------------------------------------------------------------
Cómo ser inconmensurablemente atractivo a la mujer del sexo opuesto.
	-- Libro de autoayuda de Hector Mesina.
Nov 26 2008
next sibling parent reply Jesse Phillips <jessekphillips gmail.com> writes:
On Thu, 27 Nov 2008 00:40:59 -0200, Leandro Lucarella wrote:


 D 2.021 changelog says:
 Added -safe switch and module(system) Identifier; syntax.
 
 But documentation[1] says:
 
 Safe Modules
 
 Safe modules are modules marked as safe by the (safe) appearing in the
 ModuleDeclaration. Safe modules are assumed to correctly implement a
 safe memory model, and are not checked by the compiler for such even if
 directed to.
 
 
 Trying an example using module (safe) I get: test.d(2): (safe) expected,
 not safe
 
 =/
 
 module (system) works, so I guess the documentation is just outdated, as
 well as the compiler error message.
 
 Is the -safe flag supposed to work? How?
 
 
 [1] http://www.digitalmars.com/d/2.0/module.html



I assume you are right, for information on -safe see SafeD

http://www.digitalmars.com/d/2.0/safed.html
Nov 26 2008
parent reply Leandro Lucarella <llucax gmail.com> writes:
Jesse Phillips, el 27 de noviembre a las 03:10 me escribiste:

 Is the -safe flag supposed to work? How?



 I assume you are right, for information on -safe see SafeD
 
 http://www.digitalmars.com/d/2.0/safed.html



Yes, I read that document, but what I mean is that I've created a simple
test:

int* x = cast(int*) 9283;

And it compiles without warnings or errors, with or without module
(system). That doesn't looks safe in terms of memory to me ;-)

-- 
Leandro Lucarella (luca) | Blog colectivo: http://www.mazziblog.com.ar/blog/
----------------------------------------------------------------------------
GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145  104C 949E BFB6 5F5A 8D05)
----------------------------------------------------------------------------
ACCIDENTE FATAL EN FLORES, MUEREN DOS PERSONAS Y UN BOLIVIANO
	-- Crónica TV
Nov 27 2008
parent reply Walter Bright <newshound1 digitalmars.com> writes:
Leandro Lucarella wrote:

 And it compiles without warnings or errors, with or without module
 (system). That doesn't looks safe in terms of memory to me ;-)



Almost none of the checks are implemented, I just put the scaffolding in.
Nov 28 2008
parent Leandro Lucarella <llucax gmail.com> writes:
Walter Bright, el 28 de noviembre a las 01:24 me escribiste:

 Leandro Lucarella wrote:

And it compiles without warnings or errors, with or without module
(system). That doesn't looks safe in terms of memory to me ;-)



 Almost none of the checks are implemented, I just put the scaffolding in.



Ok, good to know.

Thank you.

-- 
Leandro Lucarella (luca) | Blog colectivo: http://www.mazziblog.com.ar/blog/
----------------------------------------------------------------------------
GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145  104C 949E BFB6 5F5A 8D05)
----------------------------------------------------------------------------
Los sueños de los niños son especialmente importantes en su etapa de
formación; si un niño no sueña es que será un pelotudo toda la vida.
	-- Ricardo Vaporeso
Nov 28 2008
prev sibling parent reply Walter Bright <newshound1 digitalmars.com> writes:
Leandro Lucarella wrote:

 module (system) works, so I guess the documentation is just outdated, as
 well as the compiler error message.



The doc is outdated. I'll fix it.
Nov 27 2008
parent reply Leandro Lucarella <llucax gmail.com> writes:
Walter Bright, el 27 de noviembre a las 00:19 me escribiste:

 Leandro Lucarella wrote:

module (system) works, so I guess the documentation is just outdated, as
well as the compiler error message.



 The doc is outdated. I'll fix it.



Should I fill a bug for the compiler error message?

-- 
Leandro Lucarella (luca) | Blog colectivo: http://www.mazziblog.com.ar/blog/
----------------------------------------------------------------------------
GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145  104C 949E BFB6 5F5A 8D05)
----------------------------------------------------------------------------
FINALMENTE EL CABALLITO FABIAN VA A PASAR UNA BUENA NAVIDAD
	-- Crónica TV
Nov 27 2008
parent reply Walter Bright <newshound1 digitalmars.com> writes:
Leandro Lucarella wrote:

 Walter Bright, el 27 de noviembre a las 00:19 me escribiste:

 Leandro Lucarella wrote:

 module (system) works, so I guess the documentation is just outdated, as
 well as the compiler error message.






 Should I fill a bug for the compiler error message?
 



I've already fixed it in the source code, so no need.
Nov 28 2008
parent Leandro Lucarella <llucax gmail.com> writes:
Walter Bright, el 28 de noviembre a las 01:23 me escribiste:

 Leandro Lucarella wrote:

Walter Bright, el 27 de noviembre a las 00:19 me escribiste:

Leandro Lucarella wrote:

module (system) works, so I guess the documentation is just outdated, as
well as the compiler error message.









 I've already fixed it in the source code, so no need.



Thanks.

-- 
Leandro Lucarella (luca) | Blog colectivo: http://www.mazziblog.com.ar/blog/
----------------------------------------------------------------------------
GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145  104C 949E BFB6 5F5A 8D05)
----------------------------------------------------------------------------
CAROZO CON FARINGITIS
	-- Crónica TV
Nov 28 2008