                               The TALC Wishlist
                               =================

Talx86
======

1) Finish Movpart
2) MMX support
3) Floating point support
4) should make the labels in tal.inc (e.g., _taltla and GC_malloc)
	illegal identifiers for user-level programs.
5) GC alignment checking and/or other fixes
6) TALC assembler bugs:
     i) element size 2 array ops
7) Check for further write to esp bugs
8) Decent test suite & README file for tests/talx86
9) Better standard library and/or automatic C -> TAL stuff
10) Disassembler
11) Type encoding/decoding in object files
12) Make con abstract in tal.mli and reorganise files
13) Update TALC assembler for Cyclone macros
14) Build gc.a for Linux
15)

Popcorn
=======

1) Array representation change.
x) Exceptions. Done!
2) pop_runtime.c as TAL file.
3) Support for various calling conventions.
4) Modules.
x) String subscript bug fix. Done!
x) Raise counts as a return. Done!
x) -7 as constant. Done!
x) 0 length arrays. Done!
9) Type abbreviations
x) Switch order of type variables and stack variables for polymorphic code.
11) Figure out the right assembly/link model
12) Add existential types
13) Add explicit type instantiation
14) R/W tuples
15) Strings mallocable and mutable
16) Split popcompiler.ml into multiple files and do a major cleanup
17) README file for tests/popcorn
18) Update the popcorn/README file to reflect recent language developments
19)

Scheme in Popcorn
=================

1) Keep tal.pop up to date with Ocaml version
2) Use popcorn's LAM
3) Use data blocks for top level defines
4) Implement call/cc
5) Fix bugs with polymorphic exceptions and stuff
6) 

Scheme
======

2) eqv?  
3) more I/O support (read) (display) (newline)
4) strings, vectors, etc. and other data types
5) separate compilation support
6) fix up global defines -- should be data labels
7) re-think IL to provide support for unboxed/untagged ints,
      closures, etc.  then hack in optimizations to avoid 
      checks (a la Henglein).
8) exception support
9) let-binding isn't nested
10) other special forms (e.g. begin...)
11) symbols, quoting
12) math functions -- rational numbers, arithmetic
13) README file for tests/scheme
14) Get tests for work and a scheme for determining if they did or not
15)

Don't even want to try:
- continuations
- eval
- multiple return values
- macros (can we find a pkg for these somewhere?)
- force/delay   
