Diff for "AliceDevelopment"

Differences between revisions 30 and 0

Deletions are marked like this. Additions are marked like this.
Line 43: Line 43:
 * [!] Add parseString to XML lib. [Guido]
Line 83: Line 81:
 * [!] Complete SQLite docs. [Guido]


Only real to-do's here, no feature requests! See the AliceWishList for the latter.

[!] obligatory for next release, [?] optionally for next release


  • Clean up CVS structure. In particular, make Mozart and Seam specific stuff coexist peacefully and consistently. [all]

  • Get rid of monolithic makefiles. Argh... [all]

  • Double-check existing uses of "handle _ =>" in the system - it is almost always wrong!


  • Overloading for literals, probably by inserting implicit fromIntInf function. [Andreas]

  • Avoid regeneralizing types for obvious rebindings. Particularly enables opening structures containing overloaded stuff. [Andreas]

  • Move alpha-renaming from abstraction phase to translation phase, to be able to implement "include". Switch to functional environments first.

  • Reconsider encoding of datatypes into plain types/values, probably using structures. [Andreas]

  • Make parameterised signatures work. [Andreas]

  • Get rid of stateful switch structure (how???). Split compiler into library and tool part. Move batch compiler to tools section.

  • Actually use primitive functors. [Andreas]

  • Write verifier for abstract code. [Christian]

Runtime & Library

  • [!] Enable suppressing Gtk messages. [Andreas]

  • [!] Freeze Gtk binding: generate for 2.2(4?) and check in. Remove default generation from global Makefile. [Guido + Andreas]

  • [!] Upgrade to Gtk 2.6. [Andreas]

  • [?] Move SQLite, XML, RegExp into one dir. [Andreas]

  • Split lib/system into lib/system and lib/runtime.

  • Make basic exceptions pervasive. [Andreas]

  • Ensure that every CM imports only itself as CM? [Andreas]

  • Avoid loading of native components when reading signatures. [Andreas]

  • Use long-eta normal forms for higher-order types. [Andreas]

  • Get rid of stateful signature construction. Probably requires functional lookup tables. And get rid of stateful substitutions. [Andreas]

  • Implement OS.syserror and OS.errorMsg (via UnsafeOS).

  • Make exceptions names carry type information. [Andreas]

  • Provide an interface to finalisation in Store module.

  • [?] Try to deal with these obscure and really annoying problems with Gtk under Windows+Emacs. [Andreas]


  • See SeamDevelopment. [Guido]

  • Finish PowerPC port (jitting). [Guido]

  • Command option or environment variable to select port for distribution. [Guido]


  • [?] Turn parser and lexer into proper tools. Document. [Benedikt + Andreas]

  • [?] Display Array2.array values in Inspector. [Sebastian + Andreas]


  • [?] Document imports for lib/system, since they are not implicit for dynamic components. [Andreas]

  • Better Gecode documentation. [Guido]


  • [?] Provide infrastructure for hot update. [Andreas + Guido]