95 Commits

Author	SHA1	Message	Date
Chris Done	c8d85590c9	Display errors instead of printing	2019-11-25 15:36:50 +00:00
Chris Done	19e0e51d9d	Split info into types/classes	2019-11-25 14:23:33 +00:00
Chris Done	2363d5dfc7	Print scope (types, classes)	2019-11-25 14:16:41 +00:00
Chris Done	c23b043068	Make steps unlimited by default	2019-11-25 12:51:14 +00:00
Chris Done	67c561e3be	Add buffering	2019-11-19 12:07:11 +00:00
Chris Done	7b033623e2	Add step hider	2019-11-19 11:03:41 +00:00
Chris Done	9f27475e4d	Terminal support	2019-11-19 11:00:40 +00:00
Chris Done	6d71784699	Switch to I/O based printer	2019-11-19 10:33:17 +00:00
Chris Done	2c073826f7	Make numbered output an option	2019-11-15 23:53:01 +01:00
Chris Done	3ed031904b	Doc steps	2019-11-15 16:55:51 +01:00
Chris Done	09eb397090	Add concise runner	2019-11-15 16:38:40 +01:00
Chris Done	6f23223717	Fix arg	2019-11-15 16:32:21 +01:00
Chris Done	db1526c88a	Rename .duet examples to .hs	2019-11-15 16:15:35 +01:00
Chris Done	40eac4b3f0	Add exe	2019-11-15 16:08:02 +01:00
Chris Done	1bc118be1b	Remove ghcjs stuff	2019-01-26 23:03:47 +00:00
Chris Done	76fde5dc53	Parens	2017-11-25 19:46:55 +00:00
Chris Done	5d5af96e17	Add append for strings	2017-07-25 11:04:50 +01:00
Chris Done	db904e7e6f	Add builtins to renamer	2017-07-13 12:21:50 +01:00
Chris Done	780d34f071	Cleanup	2017-07-13 11:33:09 +01:00
Chris Done	1b6d826794	WIP: testing class constraints	2017-06-22 13:42:53 +01:00
Chris Done	57e465ccd6	Add class constraints to instances	2017-06-22 12:41:35 +01:00
Chris Done	accfc04c89	Share code between cmdline and web	2017-06-21 13:22:09 +01:00
Chris Done	0a1d033ff9	Add rational operations	2017-06-21 13:16:00 +01:00
Chris Done	430dbfce0b	Fix step bug for infix, add monad logger	2017-06-21 11:31:23 +01:00
Chris Done	accff04eb6	Big cleanup of Main.hs	2017-06-18 20:24:58 +01:00
Chris Done	c9d4d35e2b	Refactor compiler code	2017-06-18 19:32:49 +01:00
Chris Done	7799b9271f	Fix warning in main	2017-06-18 18:55:16 +01:00
Chris Done	e067449b8b	Support numbers finally	2017-06-16 15:08:54 +01:00
Chris Done	e562d2e8ff	WIP: infix operators	2017-06-16 11:33:19 +01:00
Chris Done	bf685dda2d	Support explicitly typed bindings	2017-06-15 22:41:37 +01:00
Chris Done	65f33ee9af	Parsing qualified types	2017-06-15 21:37:54 +01:00
Chris Done	09ca9a0952	Remove check	2017-06-12 18:21:49 +01:00
Chris Done	0632229aae	Skip visually same steps (dict passing)	2017-06-12 18:15:09 +01:00
Chris Done	2dc2fa5a92	Fix dictionary passing during stepper	2017-06-12 17:42:08 +01:00
Chris Done	041eccb8fc	Eliminate GenericType hack from THIH	2017-06-12 00:28:24 +01:00
Chris Done	c7dd3e1468	Rename type error	2017-06-11 18:01:46 +01:00
Chris Done	63996f4f30	Print explicitly typed bindings too	2017-06-11 14:57:28 +01:00
Chris Done	3c8ebaa065	Explicitly typed methods	2017-06-11 14:47:41 +01:00
Chris Done	0b0b0b3a9c	Parametrize all typed things	2017-06-10 12:03:12 +01:00
Chris Done	188798e356	Support no stepping	2017-06-07 14:29:48 +01:00
Chris Done	d66deab853	Add customizable printer	2017-06-07 11:33:59 +01:00
Chris Done	8f8d79c690	Add monads	2017-06-07 10:56:37 +01:00
Chris Done	c407a8eb26	Stepping with dictionaries	2017-06-06 22:51:38 +01:00
Chris Done	2b14985ed1	Fixed method type vars	2017-06-06 16:23:07 +01:00
Chris Done	1ec36147ce	Show renamer issue	2017-06-06 16:09:24 +01:00
Chris Done	2cb8440c16	Unify method tyvars with class tyvars and kindedness	2017-06-06 16:07:49 +01:00
Chris Done	9b52553b6b	Good kind mismatch error	2017-06-06 15:29:17 +01:00
Chris Done	13b992bc88	Reword	2017-06-06 15:01:28 +01:00
Chris Done	7e47519799	Use Type instead of *	2017-06-06 14:54:34 +01:00
Chris Done	1a9899412b	More error messages	2017-06-06 14:48:51 +01:00