- big things to implement:
  * exceptions (I guess setjmp/longjmp model)
  * not-so-big -- bind expressions with (wfl ...) nodes for debbuger,
    also it would be nice to remove redutant wfl's in ksi.ml
  * structures
  * polimorphic structures
  * tuples
  * unions + pattern matching
  * link garbage collector in
  * standard library

- things that are known to be broken
  * floats... esp. passing them to functions, it should be implemented
    as passing pointers.
  * interface compiler allows more then one occurence of the same symbol,
    even with diffrent types

- typechecker:
  * check whatever each patch in non-void function ends with return statement
  * implement full flaged type reconstruction

- possible optimizations:
  * if function doesn't pass it's closure anywhere, we could allocate closure
    with alloca (or even simply put closure as variable on the stack), 
    which would be *a lot* faster. Similary for passing lambda expressions
    just up the call stack

# $Id: TODO,v 1.5 2001/11/18 23:15:43 malekith Exp $
# vim:tw=75
