Commit Graph

15 Commits (224c621f8515e9d963e2f80e51960592a3e4d950)

Author SHA1 Message Date
Slava Pestov c491d05763 Recent vocabs.parser change had a regression: vocabs with no roots (scratchpad) were excluded from default use list. Also move with-interactive-vocabs to listener vocab 2009-06-07 21:59:13 -05:00
Slava Pestov 412438721f vocabs.parser: if bootstrap fails to load a vocab in interactive use list, don't fep 2009-06-05 17:33:00 -05:00
Doug Coleman 8da9d0f203 rename peek -> last and update all usages 2009-05-25 16:38:33 -05:00
Slava Pestov 10f86331b4 If a vocab fails to load, manifest would be left in a weird state (reported by Joe Groff) 2009-05-22 01:59:50 -05:00
Slava Pestov 02d6c7ca17 Factor out parser note code into parser.notes vocabulary, and print a note if a using list contains duplicates 2009-05-16 09:40:17 -05:00
Slava Pestov 836c5e07e7 Better presentation for ambiguous-use-error, fix ui.tools.listener now that 'search' can throw, make USE: and UNUSE: ignore dupes 2009-05-16 09:34:42 -05:00
Slava Pestov 83219eb21c More work on auto-use 2009-05-16 04:26:45 -05:00
Slava Pestov aabdad5efa Auto-use now prints out USING: forms again 2009-05-16 02:32:55 -05:00
Slava Pestov ba04d5af1e Update documentation for stricter vocabulary search path semantics 2009-05-16 00:29:21 -05:00
Slava Pestov 3ebd4594e8 Implement stricter vocab search path semantics, with a new API for vocabs.parser. Add map-find-last to sequences vocab 2009-05-14 22:31:29 -05:00
Slava Pestov b1bcc44dd5 Rename use+ to add-use, move search to vocabs.parser, EXCLUDE: bombs out if word doesn't exist 2009-05-13 22:15:48 -05:00
Slava Pestov c0154c1391 Change (:) to parse effect immediately, and remove ( parsing word 2009-03-21 03:17:35 -05:00
Slava Pestov 6b25e99470 Add summary for heaps more vocabs 2009-02-16 21:05:13 -06:00
Slava Pestov 5fdb474c76 Fixing various test failures and updating some more vocabs for >r/r> removal 2008-12-17 22:29:32 -06:00
Slava Pestov c5160d76e9 Merge qualified, alias, symbols, constants into core 2008-12-17 18:10:01 -06:00