293 Commits

Author	SHA1	Message	Date
Patrick Thomson	953473088d	Merge remote-tracking branch 'origin/master' into name-name-go-away	2020-01-28 15:07:05 -05:00
Patrick Thomson	9ecaeedcc3	Depend on newer semantic-source.	2020-01-28 12:42:42 -05:00
Patrick Thomson	0e58b0cdde	Last few changes.	2020-01-24 16:52:37 -05:00
Patrick Thomson	e7b625c5f0	Whitespace.	2020-01-24 16:50:02 -05:00
Patrick Thomson	aa97696e85	pathIsMinified is a concern for semantic, not semantic-analysis.	2020-01-24 16:23:33 -05:00
Patrick Thomson	7c3b71a604	Move semantic-specific stuff back to Data.Language.	2020-01-24 16:18:58 -05:00
Patrick Thomson	2620c050a7	Rename languageForFilePath.	2020-01-24 15:58:48 -05:00
Patrick Thomson	3ffb8d4b22	Better names everywhere.	2020-01-24 15:41:49 -05:00
Patrick Thomson	dcb76182cc	Prevent unnecessary roundtrip.	2020-01-24 15:35:40 -05:00
Patrick Thomson	cac106240b	Remove fileForPath hack. More typed paths = good.	2020-01-24 15:33:35 -05:00
Patrick Thomson	2b25dddf73	Absolutely massive patch to eliminate Data.Blob.File.	2020-01-24 13:55:30 -05:00
Patrick Thomson	951400dc39	Some more helper functions.	2020-01-24 12:33:49 -05:00
Patrick Thomson	c3df825840	Move Data.Language to Analysis.Language.	2020-01-24 11:41:02 -05:00
Patrick Thomson	546dfd8ebf	Move the __semantic_self name out of Analysis.	2020-01-21 13:45:46 -05:00
Patrick Thomson	f8c8c7913f	Merge remote-tracking branch 'origin/master' into name-name-go-away	2020-01-17 15:31:24 -05:00
Patrick Thomson	0e2a0e98b2	Hide Name constructor.	2020-01-17 13:46:17 -05:00
Patrick Thomson	8bf94b1125	Fix indentation.	2020-01-17 11:12:13 -05:00
Patrick Thomson	14c68c407d	Move what was Data.Name into Analysis.Name.	2020-01-17 10:57:35 -05:00
Patrick Thomson	ef01408518	Make everything work with Analysis.Functor.Named.	2020-01-17 10:41:08 -05:00
Patrick Thomson	a4a23e9a51	Move the Named functor to Analysis.Functor.Named.	2020-01-17 10:31:09 -05:00
Timothy Clem	c0d8675d09	Use semantic-source 0.0.1	2020-01-16 12:57:24 -08:00
Rob Rix	a6fe9b7a55	Alignment.	2019-12-20 12:27:39 -05:00
Rob Rix	a167dedbfc	Rename the abstract parameter to value.	2019-12-20 12:26:57 -05:00
Rob Rix	c07324ff90	Split Domain into multiple effects.	2019-12-20 12:24:04 -05:00
Rob Rix	661227365a	Don’t repeat ourselves.	2019-12-20 12:07:27 -05:00
Rob Rix	75a63dd340	Split up abstraction into separate constructors.	2019-12-20 12:04:29 -05:00
Rob Rix	f5efb6a497	🔥 Analysis.ScopeGraph.	2019-12-20 11:44:26 -05:00
Rob Rix	7c9c5f0dce	Declare the dependency on transformers.	2019-12-20 10:30:20 -05:00
Rob Rix	58f6298ee4	Revert "Use Analysis.Intro in Core’s syntax." ... This reverts commit 1828a1a433.	2019-12-20 10:23:07 -05:00
Rob Rix	1828a1a433	Use Analysis.Intro in Core’s syntax.	2019-12-20 10:22:16 -05:00
Rob Rix	a50ab43314	Reformat language extensions.	2019-12-20 10:06:01 -05:00
Rob Rix	96f5204338	Sort imports.	2019-12-20 10:04:32 -05:00
Rob Rix	850811bf06	Reformat an import list.	2019-12-20 10:04:21 -05:00
Rob Rix	38da7a41ec	Align cases locally.	2019-12-20 10:04:11 -05:00
Rob Rix	580525a3d8	Reformat language pragmas.	2019-12-20 10:03:51 -05:00
Rob Rix	2052c70e73	Sort imports.	2019-12-20 10:03:45 -05:00
Rob Rix	7418fbaa74	Reformat language pragmas.	2019-12-20 10:03:34 -05:00
Rob Rix	10386f7251	Sort imports.	2019-12-20 10:03:27 -05:00
Rob Rix	53dda90d7f	🔥 recordFrame.	2019-12-20 10:02:56 -05:00
Rob Rix	624483b812	Reformat the language pragmas in the Concrete analysis.	2019-12-20 10:02:03 -05:00
Rob Rix	59e5839b67	🔥 a redundant FIXME.	2019-12-20 09:58:30 -05:00
Rob Rix	c05904c607	Note a couple of FIXMEs.	2019-12-20 09:58:03 -05:00
Rob Rix	37e5ba4986	Split concretization into the primitive operations. ... This allows us to produce values of the correct type for abstract domains which don’t distinguish between primitive types, and to act on the expected type when e.g. typechecking by unifying.	2019-12-20 09:57:19 -05:00
Rob Rix	582c71f355	Reformat the language pragmas.	2019-12-19 15:12:44 -05:00
Rob Rix	3f43fb7290	Apply stylish-haskell to Analysis.Effect.Domain.	2019-12-19 15:11:50 -05:00
Rob Rix	2bbd2e08ef	Reformat the language extensions.	2019-12-19 14:58:30 -05:00
Rob Rix	26cf1d3a15	Revert "Represent import graphs’ semi-abstract values more discretely." ... This reverts commit 2e3713db34.	2019-12-19 14:57:01 -05:00
Rob Rix	2e3713db34	Represent import graphs’ semi-abstract values more discretely.	2019-12-19 14:56:55 -05:00
Rob Rix	f00affb958	🔥 commented-out Analysis implementations.	2019-12-19 14:44:22 -05:00
Rob Rix	89d7bd5aaf	Strengthen the constraints available to eval.	2019-12-19 14:44:08 -05:00