Log 043011

I removed the embedding functions and introduced a native keyword into the compiler. Now, like in most other languages, external definitions are just given, for example, such: native inc: int -> int. I.e., the name and type are given but the body isn't.

I now need to build a new runtime which makes use of this.

Dropping libFFI

I don't like the dependency on libffi anymore. The prime reason being that it becomes near impossible to treat strings as character arrays. The second reason, I expect problems with it when compiling on different platforms - it drops a dependency. The last reason, despite that everything -especially the definitions of external terms- becomes more bloated, it will simplify the compiler and make native function calls a lot faster.

So long, C...

MLs Value Restriction

Don't generalize mutable type unknowns

Hi Gambit

I am thinking of changing the back-end to Gambit...

And decided against it.

Compiler with Sources now for Grabs

Get the compiler sources from http://www.hi-language.org/ if you care. I probably should have cleaned up the source code, but then again, why bother at the moment?

Hacked A Compiler Reference Document

As the title says, I hacked something together, probably should have spell-checked it first. Ah well, read it here.

Going Open Source

I lost track of where I am and decided to open source the compiler since it ain't seem to be going anywhere at the moment. As a preview, read the source of the compiler in printable format here on Google Docs.

Moving

I am moving to a new home. I added the OCAML bootstrap compiler to the distribution list of hi-language.org for historic reasons.