[Aldor-l] Bool$Machine vs Bool$Builtin

[Ralf Hemmecke]

Hi Christian,

On 11/21/2007 10:20 PM, tmgisi at gmx.at wrote:
> Hi Ralf,
> 
> On Sat, 17 Nov 2007 17:26:38 +0100, Ralf Hemmecke <ralf at hemmecke.de> 
> wrote:
> 
>> Can somebody explain the differences of what happens for "aldor 
>> $opts aaa.as" when opts is "BUILTIN", "MACHINE", and ""?
> 
> "MACHINE" and "" compile and run. "BUILTIN" compiles and segfaults.
> 
>> #if BUILTIN import {Bool: Type; BoolNot: Bool->Bool} from Builtin;
> 
> How do you know Builtin exports "Bool: Type"?

Did I know? Do I know? I just imported and the compiler did not
complain. I think, I was to naive here.

> I supposed Builtin only exported functions...

Maybe. I don't have a good documentation of what Builtin actually is and 
what functions with which semantics it provides.

> Well ;) you seem to have sold your soul and looked at the compiler 
> sources and thereby you know.

Am I lost now? But you know Dr. Faustus ...

   http://www.gutenberg.org/dirs/etext00/7fau210.txt
   Wer immer strebend sich bemueht,
   Den koennen wir erloesen.

   For non-german speakers I guess you find the translation here ...
   http://en.wikipedia.org/wiki/Faust,_Part_2#Act_V

[... interesting discussion removed ...]

Thank you for all your comments.

Ralf