greg
5271429715
Make help a bit nicer
2019-06-06 23:50:08 -07:00
greg
f88f2e8550
More help cleanup
2019-06-06 22:36:44 -07:00
greg
7097775a4a
:help command working
2019-06-06 22:21:50 -07:00
greg
32d082e119
Kill duplicate code
2019-06-05 02:54:13 -07:00
greg
376fa1d1d1
Tab completion for help
2019-06-05 02:48:45 -07:00
greg
6fb9b4c2d3
Actually the Top variant is doing something useful
2019-06-05 02:42:34 -07:00
greg
f1d1042916
Add help text
2019-06-05 02:36:08 -07:00
greg
207f73d607
Moving help code around
2019-06-04 22:02:51 +00:00
greg
8dc0ad2348
Help function work
2019-06-03 22:18:53 +00:00
greg
bb39c59db2
directive-related cleanup
2019-06-02 00:48:59 -07:00
greg
10bfeab7e4
Switch over everything to new directive paradigm
2019-06-02 00:43:55 -07:00
greg
fe08e64860
More DirectiveAction conversion work
2019-06-02 00:27:12 -07:00
greg
fd517351de
Start converting over directives to new format
2019-06-02 00:19:26 -07:00
greg
e12ff6f30b
Start adding infrastructure to pay attention to actions
2019-06-01 22:17:20 -07:00
greg
176b286332
Add new ReplAction type
2019-06-01 18:41:55 -07:00
greg
3987360f8e
Working on directives
2019-06-01 16:56:56 -07:00
greg
78d1e93e4b
Put back rudimentary debug output
2019-05-28 03:41:49 -07:00
greg
f27a65018d
Fix prompt
2019-05-26 15:22:36 -07:00
greg
548a7b5f36
DebugRequests should be set
2019-05-26 04:16:40 -07:00
greg
6162bae1ac
Per-stage computation times
2019-05-25 22:21:52 -07:00
greg
fe7ba339b5
Per-stage timing output
2019-05-25 20:09:11 -07:00
greg
6a232907c5
Kill useless DebugRequest type
2019-05-25 19:31:41 -07:00
greg
a8583f6bc4
Separate command_tree module
2019-05-22 03:32:00 -07:00
greg
bdee4fe7c6
Fix commandtree debug processing
2019-05-22 03:19:12 -07:00
greg
5cdc2f3d07
Some total-time stuff
2019-05-21 02:52:26 -07:00
greg
eb2adb5b79
Moving options around
...
Showing time
2019-05-21 02:46:07 -07:00
greg
2b407a4a83
Total duration Timing
2019-05-21 02:06:34 -07:00
greg
ffdae14a88
Hook up docs
2019-05-17 18:23:03 -07:00
greg
94ea7bcd09
Starting to use more advanced error output
2019-05-15 03:32:57 -07:00
greg
e9ea7811df
Kill unused
2019-05-14 02:12:18 -07:00
greg
198f93c533
Make non-interactive code work again
2019-05-14 01:57:31 -07:00
greg
694c152fcd
Kill webapp for now
...
I might add this back in later but for now I'd have to catch up to so
much rocket that it's easier to just leave it out
2019-05-14 01:51:41 -07:00
greg
f8f3095f89
Remove dead code
2019-05-14 00:45:45 -07:00
greg
c68c23ed68
Restore option-saving
2019-05-14 00:40:38 -07:00
greg
4f972f20a7
Remove some unused code
2019-05-13 19:55:18 -07:00
greg
6c369b072f
Debug immediate working for symbol table
2019-03-31 01:13:40 -07:00
greg
938c0401d1
Some various work
2019-03-27 02:20:43 -07:00
greg
a829fb6cd8
Initial debug-handler function
2019-03-26 19:55:47 -07:00
greg
004b056232
Rearchitect CommandTree
...
- CommandTree::Term is now terminal only with respect to searching for
the debug-handling function to execute, it can have children that only
the tab-completion code cares about
- CommandTree::NonTerminal never has a function associated with it, if the
processing of a list of repl debug commands gets to a NonTerminal leaf,
there's just nothing to do
2019-03-26 19:43:11 -07:00
greg
153e7977d3
Make function more concise
2019-03-20 00:24:46 -07:00
greg
5b5368ce6f
Delete a bunch of comments
2019-03-20 00:18:02 -07:00
greg
7a67890227
List-passes
2019-03-20 00:04:02 -07:00
greg
04253543e9
Move where help is computed
2019-03-19 21:12:10 -07:00
greg
3a98096b61
Add back debug passes command completion support
2019-03-19 19:37:29 -07:00
greg
9476e7039b
Doc requests in type system
2019-03-19 19:26:05 -07:00
greg
61972410ea
Functionality to request/respond to meta items
2019-03-19 19:12:32 -07:00
greg
d3f9430a18
Avoid unnecessary String
2019-03-19 19:01:04 -07:00
greg
81323cafd4
Change wording of default repl_request handler
2019-03-19 18:46:24 -07:00
greg
14c08bbcdb
Get rid of EvalOptions
...
and associated types
2019-03-19 18:40:21 -07:00
greg
4319c802f5
Add nonterminal with function
...
For making tab completion work properly
2019-03-19 04:28:54 -07:00
