Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /dev-notes/TODO.md
ViewVC logotype

View of /dev-notes/TODO.md

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4840 - (download) (annotate)
Sun Sep 23 15:07:51 2018 UTC (11 months ago) by jhr
File size: 1326 byte(s)
adding TODO item
## SML/NJ TO-DO LIST

This is a list of things (both major and minor) that should be fixed/improved/changes
in the SML/NJ compiler.

* The `CPS.SWITCH` construct only supports tagged integer arguments (this limitation
  is because of the way that jump-table indices is handled in `CodeGen/mlriscGen.sml`).
  It should be generalized to boxed, fixed-precision, integer types.

* switches on strings use string equality as the basic operation (the `CPS.P.streq` and
  `CPS.strneq` operators), which does not allow for binary search.  Replace these with
  a `STRCMP` three-way branch in the `cexp` type.

* All of the intermediate representations (FLINT, CPS, etc.) use the same LambdaVar.lvar
  type to represent variables.  There should be distinct types for these to avoid
  potential confusion and errors.

* FLINT types (`FLINT/kernel`) need a thorough overhaul. There are too
  many layers of type representations, and the complexity of Nadathur
  closures is probably unjustified. Even the hash-consing of types may
  no longer be justified -- depends on the space blowup without
  it. FLINT primative types for numbers do not distinguish between
  signed and unsigned numbers (i.e. ints and words). Should they?
  
* The `unboxedFloats` flag in the `MACH_SPEC` signature is true for all targets; can
  we get rid of it?


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0