Currently known bugs (31/7/05  v 0.1.24)

Major:

* Documentation shows normalised types (ie with type synonyms
  expanded) rather than the types which are actually written.
* Possible segfault on attempting to use an uninitialised global, so
  possibly check global accesses for validity. Global accesses aren't
  meant to be fast after all.
* Unrecognised types in data declarations not reported.
* Type synonyms are always exported.

Minor:

* Function applications need to be on names, rather than complex
  expressions. This should be more general, eg f.a[5](args) should be allowed.
  (5/2/05 - bit better now; as long as it's not a Void function, you
  can apply any typed expression).
* Attempting to marshal Foreign Ptrs should be an error - need a
  built-in function table for Ptr.
* The compiler should attempt to report as many errors as possible
  (might be tricky). 
* Should be an error if module name doesn't correspond with filename,
  as module chasing won't work in that case. Not a problem for
  programs or webapps however.
* Unhelpful error if main/Default/etc has the wrong type
* No error reported for mutually dependent modules.
