31 Commits

Author	SHA1	Message	Date
Patrick Thomson	f722cb0897	Move Data.Project to semantic-analysis. ... I need this for semantic-scope-graph so that each graph can have correct `ModuleInfo` fields. Straightforward.	2020-02-11 12:52:44 -05:00
Ayman Nadeem	0900bdbe74	Merge branch 'master' into my-grate	2020-01-29 15:09:17 -05:00
Ayman Nadeem	4bb39cba96	change Data.Graph to Data.Graph.Algebraic	2020-01-28 13:25:59 -05:00
Patrick Thomson	4ce9f31e45	One last import.	2020-01-26 12:08:58 -05:00
Patrick Thomson	5a23a151fb	fix the benchmarks	2020-01-26 11:39:57 -05:00
Patrick Thomson	ef0960bd7b	Rename sourceBlob.	2020-01-24 16:13:19 -05:00
Patrick Thomson	3ffb8d4b22	Better names everywhere.	2020-01-24 15:41:49 -05:00
Rob Rix	f68fa5ea30	Enable hard-mode warnings project-wide.	2019-10-30 13:29:45 -04:00
Rob Rix	c4e2c14601	Whoops 2: the Whoopsening.	2019-10-25 15:26:30 -04:00
Rob Rix	72ba6821ea	Whoops.	2019-10-25 14:34:54 -04:00
Rob Rix	e636757c29	Executing the monadic actions is the important thing, not evaluating the graph.	2019-10-25 14:22:50 -04:00
Rob Rix	93db4cfa45	Use the helpers anywhere we look up a parser.	2019-10-23 12:17:10 -04:00
Rob Rix	52b0d4c508	Select an abstract parser.	2019-10-23 11:48:01 -04:00
Rob Rix	d5cc356a8a	Map results to unit in evaluateProject.	2019-10-23 11:46:33 -04:00
Rob Rix	e9ca7cb1b8	Select an abstract parser.	2019-10-23 11:45:45 -04:00
Rob Rix	be51d3139f	Align.	2019-10-23 11:40:37 -04:00
Rob Rix	b8ff23f2c5	Inline the evaluators.	2019-10-23 11:40:23 -04:00
Rob Rix	46094f3e59	Fix which project we eval.	2019-10-23 11:39:50 -04:00
Rob Rix	9dcfbd8f2c	Spacing.	2019-10-23 11:39:30 -04:00
Rob Rix	d6d16c1c0d	Factor justEvaluating into evaluateProject.	2019-10-23 11:38:10 -04:00
Rob Rix	2dffafa12f	Type applications.	2019-10-23 11:36:59 -04:00
Rob Rix	97a31acc7a	Don’t require an NFData instance for the terms.	2019-10-23 11:36:36 -04:00
Rob Rix	ee539d8594	Fix some missing imports.	2019-10-22 17:12:58 -04:00
Rob Rix	10ee109dae	Try to correct the constraints for the benchmarks.	2019-10-22 17:04:31 -04:00
Rob Rix	a78cf3c7d2	Add some missing constraints.	2019-10-22 16:22:41 -04:00
Rob Rix	bf82196315	Abstract the benchmarks over the term type.	2019-10-21 17:37:01 -04:00
Rob Rix	2e8e65a13b	Rename VertexDeclaration to VertexDeclaration1.	2019-10-18 13:32:15 -04:00
Rob Rix	30b0f31020	Simplify VertexDeclaration to avoid the extra type parameter.	2019-10-18 13:18:02 -04:00
Patrick Thomson	df96f43acd	Make findFilesInDir use pathtype.	2019-10-11 19:24:53 -04:00
Patrick Thomson	54394d61c8	Move around and correct benchmarks.	2019-10-04 12:37:24 -04:00
Patrick Thomson	284fc30f1c	Reorganize benchmarks.	2019-10-04 11:25:34 -04:00