TODO

   1 * file-name completion in sml-cm-mode.
   2
   3 * Don't always jump to the *sml* buffer when you send a snippet of code.
   4
   5 * Fix inferior-sml-mode's TAB completion of filenames so it doesn't append
   6   a space.
   7
   8 * Improve support for MLton's def-use info (see http://mlton.org/Emacs)
   9
  10 * Add an sml-mlb-mode for ML Basis files (see http://mlton.org/Emacs)
  11
  12 * improve M-C-f and M-C-b (they too often don't do the right thing) and
  13   add M-C-k and other such sexp-chunked operations.
  14
  15 * if indentation is non-obvious, return a list of possible indentations
  16   and choose the first unless the current is one of the possible choices.
  17
  18 * make `M-x sml-compile' more generic.
  19
  20 * allow specifying indentation of dependent keywords (how to indent `in'
  21   relative to `let', for example).
  22
  23 * use symbols instead of strings for `sym'.
  24
  25 * recognize irrefutable patterns (with "Capital"-heuristics, for example:
  26   a regexp like "\\([(),]\\|[_a-z][_a-z0-9]*\\)+").
  27   This can then be used to allow indenting like
  28
  29                 (fn x =>
  30                  some expressions)
  31
  32 * take advantage of text after-the-line (when available) for indentation.
  33
  34 * obey fixity directives.
  35
  36 * dangling `case e' in stuff like
  37
  38   fun myfunction x = case x
  39    of bla =>
  40     | bli =>
  41
  42 * deal with CPS kind of code ???
  43
  44   function1 (arg1, arg2, fn v1 =>
  45   function2 (arg2, fn v2 =>
  46   function3 (arg5, arg3, arg8, fn v3 =>
  47   function4 (v1, v2, v3))))
  48
  49   or even just
  50
  51   F.LET (v1, foo,
  52   F.LET (v2, bar,
  53   F.LET (v3, baz,
  54   F.RET [v1, v2, v3])))