3880 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Arya Irani	fbfc487dc5	wip	2019-04-23 10:58:49 -04:00
Arya Irani	962d0aeec9	branchless draft	2019-04-22 12:28:28 -04:00
Paul Chiusano	8480e1f2dc	Merge pull request #461 from BenFradet/parser-error-test ... Parser error tests	2019-04-19 17:27:59 -04:00
Runar Bjarnason	e8f00b98b2	Fork, bracket, delay, and kill all working.	2019-04-19 14:40:57 -04:00
Arya Irani	bca45bf81a	Merge pull request #460 from unisonweb/topic/390 ... Improved ability inference	2019-04-18 16:19:53 -04:00
Paul Chiusano	5053180757	cleanup	2019-04-18 11:46:17 -04:00
Paul Chiusano	af445b727d	error extractors do cleanup of variable numbering	2019-04-18 11:12:32 -04:00
Paul Chiusano	32b8068b70	Merge remote-tracking branch 'origin/master' into wip/var-refactor	2019-04-17 19:43:39 -04:00
Paul Chiusano	925b385780	fix bug with removePureEffects - was skipping over effect lists that were part of a type application	2019-04-17 19:43:12 -04:00
Paul Chiusano	2edad9f905	spotted several bugs	2019-04-17 18:22:14 -04:00
Paul Chiusano	8a5337cd56	some cleanup of type signatures	2019-04-17 13:55:27 -04:00
Paul Chiusano	8f448ff1b1	reset all top level variables coming out of the typechecker, fixes the tests without the hack	2019-04-17 13:07:17 -04:00
Paul Chiusano	3eeafa91c6	tests passing, but hackily, there's a bug in how variables are being reset / renamed	2019-04-17 11:46:52 -04:00
Paul Chiusano	3177b68144	tests failing after modifying typechecker to use synthetic vars as appropriate	2019-04-17 11:42:14 -04:00
Paul Chiusano	db055987c5	tests all pass, need to hook.up in various places in the typechecker	2019-04-17 08:55:02 -04:00
Arya Irani	9d9b0fe1f5	whoops	2019-04-16 17:25:33 -04:00
Arya Irani	4b345d1fe8	added pending test for #344	2019-04-16 17:17:59 -04:00
Arya Irani	d2fc1ff866	formatting	2019-04-16 17:17:32 -04:00
Paul Chiusano	c397f5f07f	Update comments-and-docs.markdown	2019-04-16 11:58:17 -04:00
Paul Chiusano	18c767409b	Comments and documentation early design work ... @runarorama did most of the work here, with @aryairani and @pchiusano adding markdown comments (see raw source)	2019-04-16 11:56:16 -04:00
Arya Irani	6a52723bc0	docs: minor changes	2019-04-16 11:01:46 -04:00
Arya Irani	45b0dbce25	docs: publishing an updated library	2019-04-16 00:16:36 -04:00
Arya Irani	dd4d6ded8e	docs: using library code	2019-04-15 18:42:06 -04:00
Arya Irani	b15f5588c7	docs: publishing toc	2019-04-15 18:37:07 -04:00
Paul Chiusano	af55a62aad	noncompiling WIP	2019-04-15 17:43:14 -04:00
Ben Fradet	5f25d14db8	Add a test for the empty watch error	2019-04-15 22:23:02 +02:00
Paul Chiusano	2376234f15	Merge remote-tracking branch 'origin/master' into topic/390	2019-04-14 21:21:53 -04:00
Paul Chiusano	643b5e33db	unsolved existentials get instantiated to {} as a fallback in abilityCheck	2019-04-14 21:21:43 -04:00
Paul Chiusano	b9c185ca77	tests	2019-04-12 15:48:39 -04:00
Paul Chiusano	4490f6318c	improved error message a bit	2019-04-11 17:43:02 -04:00
Paul Chiusano	ea113754f6	fix #455	2019-04-11 17:03:52 -04:00
Paul Chiusano	c0181c4158	failing test for #455	2019-04-11 16:34:51 -04:00
Paul Chiusano	d46bb05f23	fixed #374	2019-04-11 16:22:11 -04:00
Paul Chiusano	26ca33aaca	unpending a test	2019-04-11 16:14:53 -04:00
Paul Chiusano	da9568b9b3	fixed up prettyprinting tests	2019-04-11 16:10:47 -04:00
Paul Chiusano	a64f462a50	fix rest of tests and unpending some more	2019-04-11 16:00:55 -04:00
Paul Chiusano	b6d02f4500	fix one test and add a new pending test	2019-04-11 13:40:09 -04:00
Paul Chiusano	24ec186ebb	removing pure effects, looks a lot cleaner	2019-04-11 12:22:40 -04:00
Paul Chiusano	2f1c247c3c	huzzah! getting correct results even when just doing inference	2019-04-11 11:34:17 -04:00
Paul Chiusano	8f0cf93a25	remove tracing, add todo	2019-04-11 01:31:40 -04:00
Paul Chiusano	1a1158ed10	omg fix dumb bug - forgot to actually replace the annotation in the term with the existentializedArrow version	2019-04-11 01:19:31 -04:00
Paul Chiusano	01774b09dd	cleanup, withoutAbilityCheckForExact	2019-04-10 23:10:48 -04:00
Paul Chiusano	d0133afd35	moar progress	2019-04-10 18:17:37 -04:00
Paul Chiusano	e7dec3ab3d	setting for removing pure effects	2019-04-10 16:26:44 -04:00
Paul Chiusano	829401320d	cleanup existentializeArrows usage	2019-04-10 16:04:09 -04:00
Paul Chiusano	05b4dbb1a6	Added a special case for an ability request of an unsolved existential - it is just solved to all of ambient ... inferred types are much cleaner, but still some work to do	2019-04-10 13:03:28 -04:00
Paul Chiusano	d24361d6ad	hooked up isRedundant	2019-04-10 12:26:22 -04:00
Paul Chiusano	d961136a79	isRedundant function WIP	2019-04-09 18:49:38 -04:00
Ben Fradet	f6f8b108f1	Add test harness for Parser.Error	2019-04-09 22:43:13 +02:00
Arya Irani	6e98189fea	remove block comment, add eof --- comment	2019-04-09 15:31:15 -04:00