61 commits

Author	SHA1	Message	Date
Richard Feldman	50ebffad5a	Fix Windows Readline error	2022-10-31 07:28:24 -04:00
Richard Feldman	9265d6480d	clippy	2022-10-31 07:12:57 -04:00
Richard Feldman	212090769f	Fix repl handling of invalid layouts	2022-10-31 06:57:52 -04:00
Richard Feldman	d6853519d8	Expand repl TIPS	2022-10-31 06:53:27 -04:00
Richard Feldman	cb7ee6a43a	Have repl error eagerly on confirmed syntax errors	2022-10-31 06:40:38 -04:00
Richard Feldman	e6bd2a5f30	Handle syntax errors in repl	2022-10-31 06:22:35 -04:00
Richard Feldman	2b89f53e76	Right-align var_name if terminal under 80 chars	2022-10-31 06:14:43 -04:00
Richard Feldman	8b4e864a90	Support opaques, aliases, and abilities in repl	2022-10-30 15:03:59 -04:00
Richard Feldman	23974dc753	Drop unused lifetime annotation	2022-10-30 14:42:00 -04:00
Richard Feldman	d7fd72c905	Fix eval-ing functions in repl	2022-10-30 14:41:57 -04:00
Richard Feldman	eebf973f11	repl treats whens as incomplete until blank line	2022-10-30 13:48:06 -04:00
Richard Feldman	0c8f6a0a72	Fix annotated defs in repl	2022-10-30 13:34:38 -04:00
Richard Feldman	daa87093ca	Don't drop defs that would be shadowed	2022-10-30 12:42:20 -04:00
Richard Feldman	a574dff481	Don't print repl output if there were errors	2022-10-30 05:57:21 -04:00
Richard Feldman	062d532fa4	Fix most repl tests	2022-10-30 05:47:05 -04:00
Richard Feldman	08cf8e727f	have the repl eval named defs	2022-10-30 03:58:44 -04:00
Richard Feldman	4d8a3ba3d7	Don't persist defs if they have errors	2022-10-30 03:42:30 -04:00
Richard Feldman	0190787f7b	Revert "send panics to the repl more gracefully" ... Now doesn't seem like the right time to do a change this invasive. This reverts commit a36ddbf6cb.	2022-10-30 03:12:53 -04:00
Richard Feldman	a36ddbf6cb	WIP send panics to the repl more gracefully	2022-10-30 03:12:41 -04:00
Richard Feldman	45e800c328	Don't print warnings in the REPL	2022-10-30 03:12:27 -04:00
Richard Feldman	875a2181a0	Right-align var_name output in repl (at 80 cols)	2022-10-30 02:47:26 -04:00
Richard Feldman	aa1dcee709	Hackily filter out UNUSED warnings in repl	2022-10-30 02:18:52 -04:00
Richard Feldman	b7d3c77b76	Have the repl eval anyway if there are errors	2022-10-27 18:47:32 -04:00
Richard Feldman	f841cdb2c0	Persist defs	2022-10-27 18:47:32 -04:00
Richard Feldman	90e79379cb	Remove test dependency on rustyline	2022-10-27 18:47:32 -04:00
Richard Feldman	5b36d2c41c	Drop pending_src, fix repl tips	2022-10-27 18:47:32 -04:00
Richard Feldman	6038965cb6	Fix some repl state machine bugs	2022-10-27 18:47:32 -04:00
Richard Feldman	f11b2d21cb	Drop an unused Result	2022-10-27 18:47:31 -04:00
Richard Feldman	6fbafad3ff	Share code between validation and step	2022-10-27 18:47:31 -04:00
Richard Feldman	a6c1667d37	Reorganize repl modules	2022-10-27 18:47:31 -04:00
Richard Feldman	9f498add60	Reorganize some REPL modules	2022-10-27 18:47:27 -04:00
Richard Feldman	4c02a38a99	Drop some apparently-unreachable code	2022-10-27 18:46:15 -04:00
Richard Feldman	63c7b90113	Have repl validator accept top level defs	2022-10-27 18:46:15 -04:00
Richard Feldman	ba6457779d	Fix :help newline	2022-10-27 18:46:15 -04:00
Richard Feldman	f85c10c4bb	Colorize ctrl-v + ctrl-j in repl instructions	2022-10-27 18:46:14 -04:00
Richard Feldman	8a29d50f4e	Swap when TIPS and SHORT_INSTRUCTIONS print	2022-10-27 18:46:14 -04:00
Josh Mak	20fcacbcd6	Add how to newline repl tips at start-up	2022-10-11 18:25:08 -07:00
Joshua Warner	ab4e03b05d	Rename Lambda -> Closure for consistency	2022-10-08 11:05:05 -07:00
Ayaz Hafiz	e31a16f650	Properly wrap with newtype-by-void layouts in repl ... Closes #4208	2022-10-05 11:17:57 -05:00
Anton-4	a46d4fa1c6	further improved tips UX, fixed cli.rs assert	2022-10-03 15:31:34 +02:00
João Mota	d6b59e7091	slight overlook ... Signed-off-by: João Mota <jackthemotorcycle@gmail.com>	2022-10-03 13:44:00 +01:00
João Mota	692d7651ab	Add tips to REPL ... Signed-off-by: João Mota <jackthemotorcycle@gmail.com>	2022-10-03 13:38:27 +01:00
Ayaz Hafiz	ed04c2040a	Push the layout interner through the backends	2022-08-31 14:33:52 -05:00
Ayaz Hafiz	c5466810a4	Add LayoutInterner to LayoutCache ... Adds a thread-local interner of layouts to LayoutCache, and updates all references appropriately. This is a bit suboptimal for single-threaded workloads that will look at creating layout caches again, like the REPL, but I think that's okay for now - since the global interner will be uncontested for those workloads, it should still be plenty fast to access the interner, even behind a lock.	2022-08-31 14:33:51 -05:00
Mostly Void	c5aa453071	Change repl behavior and instructions around quit	2022-08-24 17:34:01 +05:30
Folkert	546b702740	nullable wrapped tags	2022-08-06 14:40:00 +02:00
Richard Feldman	3136c5fb63	Allow testing interface modules	2022-08-03 19:49:48 -04:00
Folkert	64c2d8d87e	move expect running logic into repl_expect	2022-07-26 21:15:16 +02:00
Folkert	954a4fbe32	WIP	2022-07-23 14:25:38 +02:00
Folkert	6c0217c6f6	make the repl app mutable (for expect repl)	2022-07-23 14:03:30 +02:00