TODO

   1 An option to turn off the removal of duplicate actions might be useful for
   2 analyzing unintentional nondeterminism.
   3
   4 To avoid confusion, there should be a correspondence between state numbers in
   5 the generated code, graphviz and the XML.
   6
   7 Might be a good idea to add in some protection against using up all of a
   8 system's memory. This protection could then be removed by people when someone
   9 is sure they want to use a lot of memory.
  10
  11 fbreak should advance the current char. Depreciate fbreak and add
  12     fctl_break;
  13     fctl_return <expr>;
  14     fctl_goto <label>;
  15
  16 It should be possible to import/export definitions.
  17
  18 If a scanner can be optimized into a pure state machine, maybe permit it to be
  19 referenced as a machine definition. Alternately: inline scanners with an
  20 explicit exit pattern.
  21
  22 The split codegen needs a profiler connected to a graph partitioning algorithm.
  23
  24 Die a graceful death when rlcodegen -F receives large alphabets.
  25
  26 It's not currently possible to have more than one machine in a single function
  27 because of label conflicts. Labels should have a unique prefix.
  28
  29 Emit a warning when a subtraction has no effect.
  30
  31 Emit a warning when unnamed priorities are used in longest match machines.
  32 These priorities may unexpectedly interact across longest-match items. Changing
  33 the language such that unwated interaction cannot happen would require naming
  34 longest-match items.
  35
  36 Testing facilities: Quick easy way to query which strings are accepted.
  37 Enumerate all accepted strings. From Nicholas Maxwell Lester.
  38
  39 Add more examples, add more tests and write more documentation.
  40
  41 A debugger would be nice. Ragel could emit a special debug version that
  42 prompted for debug commands that allowed the user to step through the machine
  43 and get details about where they are in their RL.
  44
  45 Frontend should allow the redefinition of fsm section delimiters.
  46
  47 Do more to obscure ragel's private variables. Just a leading underscore is not
  48 enough. Maybe something more like __ri__.
  49
  50 Some talk about capturing data:
  51
  52 Separate tokstart/tokend from the backtracking.  One var for preservation,
  53 called preserve.  Write delcarations;  produces the necessary variables used by
  54 ragel.  Move pattern start pattern end concepts into the general?  The
  55 variables which may need to influence the preserve is dependent on the state.
  56 States have a concept of which variables are in use.  Can be used for length
  57 restrictions.  If there is an exit pattern, it is the explicit way out,
  58 otherwise the start state and all final states are a way out.