added Brian Rogoff's configure script (adapted for MacosX)
fixed 64-bits version
got rid of command pretty-printing (should be an option ?)
added $(ocamlc -where)/llvm.cma for custom built ocaml versions (suggested by Anil Madhavapeddy)
added primitives on strings
added string escaping
added char
modified configure (suggested by Martin Jambon)
finished comparisons
Fix compilation under MacOS X using Homebrew
Fix compile on MacOS X by using the POSIX headers for malloc(3)
added typical path for llvm compiled from source
types weren't expanded before doing the check
added check that the declared type is less general than the inferred type
more work on stdlib
fix for issue 5
added .run for tests
added pretty-printer
++
fixed typo
type-system was too restrictive when using primitive types