24731 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Patrick Thomson	081d8eb6fa	Reorganize and add microlens, at least for now.	2018-08-03 12:23:47 -04:00
Patrick Thomson	f737790d32	Cleanup.	2018-08-02 17:58:01 -04:00
Patrick Thomson	5badb02e59	Inform the concrete stage about strategy transitions	2018-08-02 17:40:32 -04:00
Patrick Thomson	381441fd3d	Use type family dependencies rather than an ugly fundep.	2018-08-02 17:16:17 -04:00
Patrick Thomson	06bc318d7b	attempting to write something that would handle indents	2018-08-02 13:46:03 -04:00
Patrick Thomson	f295632327	move some code around + ensure we can enforce History invariants	2018-08-02 13:03:55 -04:00
Patrick Thomson	0a82d053d9	Found the bug: defaulting whenRefactored was wrong.	2018-08-01 12:13:10 -04:00
Patrick Thomson	d7ee02449a	foolish stabs at fixing bugs. I can't brain anymore, enough for today	2018-07-31 17:55:47 -04:00
Patrick Thomson	76727e07da	rename	2018-07-31 17:49:03 -04:00
Patrick Thomson	902747c7b6	okay, I got rid of the custom monad and things appear more sane	2018-07-31 17:34:24 -04:00
Patrick Thomson	afbca73e7f	none of this makes any sense	2018-07-31 16:55:38 -04:00
Patrick Thomson	81ac3ae2f5	the SYR algorithm isn't right. something is weird here	2018-07-31 16:48:00 -04:00
Patrick Thomson	bda8e3fc4f	some simple specs for the pipeline	2018-07-31 14:08:05 -04:00
Patrick Thomson	6815641009	Write some documentation for Concrete	2018-07-31 13:05:11 -04:00
Patrick Thomson	dccea555ed	Extremely ad-hoc renderer to Docs	2018-07-31 12:44:20 -04:00
Patrick Thomson	6823fb92b6	better module name	2018-07-31 10:43:46 -04:00
Patrick Thomson	e33cc897a6	Haddock stuff.	2018-07-30 21:36:41 -04:00
Patrick Thomson	13b26d5dab	properly lay everything out	2018-07-30 20:56:36 -04:00
Patrick Thomson	dc72480d3a	lint	2018-07-30 20:09:08 -04:00
Patrick Thomson	88cd915ced	working reprinting tests	2018-07-30 20:05:44 -04:00
Patrick Thomson	4215e8e5e4	Set up Reprintable typeclass	2018-07-30 16:19:42 -04:00
Patrick Thomson	a61fe301c4	Skeleton and initial test case	2018-07-30 16:00:09 -04:00
Rob Rix	629cd2748d	Merge pull request #2097 from github/value-effects ... Encode functions as effects	2018-07-27 13:37:42 -04:00
Rob Rix	828ffadb55	Temporarily 🔥 KindSignatures.	2018-07-27 09:33:52 -04:00
Rob Rix	2efd56d743	Temporarily 🔥 Unit, Boolean, & Pair.	2018-07-27 09:09:35 -04:00
Rob Rix	60a4487a28	Run a Function effect in EvaluatorSpec.	2018-07-26 15:31:49 -04:00
Rob Rix	09e6d24028	Merge remote-tracking branch 'origin/master' into value-effects	2018-07-26 13:55:46 -04:00
Rob Rix	9733d43759	Replace AbstractFunction with the Function effect.	2018-07-26 13:49:54 -04:00
Rob Rix	60c9784946	Provide a Function effect to Evaluatable instances. ... Currently this is just Function, and we don’t actually make requests against it yet, but it’s a start.	2018-07-26 13:46:55 -04:00
Rob Rix	d131cbf1f3	Pass in a handler for value effects. ... Currently this is just Function, and we don’t actually make requests against it yet, but it’s a start.	2018-07-26 13:44:04 -04:00
Patrick Thomson	083feb0be9	Merge pull request #2093 from github/timeout-experiments ... Add timeouts to call graph and import graph computation	2018-07-25 14:04:41 -04:00
Patrick Thomson	840578939b	Merge branch 'master' into timeout-experiments	2018-07-25 11:38:48 -04:00
Rob Rix	bd9e01ada6	🔥 the redundant term parameter to ImportGraphEff.	2018-07-25 10:16:19 -04:00
Rob Rix	11d4ed667b	🔥 more redundant raiseEff/lowerEff.	2018-07-25 10:14:27 -04:00
Rob Rix	98320e4e15	🔥 a redundant raiseEff.	2018-07-25 09:58:09 -04:00
Rob Rix	863c2774eb	Merge branch 'master' into value-effects	2018-07-25 09:22:30 -04:00
Timothy Clem	829f66eeeb	Merge pull request #2090 from github/external-modules ... Surface external/unknown modules in the import graph	2018-07-24 16:18:13 -07:00
Timothy Clem	78a1a7bc92	Merge branch 'master' into external-modules	2018-07-24 13:08:34 -07:00
Timothy Clem	fb921c9e37	Merge pull request #2087 from github/bump-tree-sitter ... Bump tree sitter	2018-07-24 13:08:11 -07:00
Timothy Clem	a6996e5628	Alternate after matching the symbol	2018-07-24 12:50:37 -07:00
Timothy Clem	4bd2806a8f	Fix up tests	2018-07-24 11:06:14 -07:00
Timothy Clem	1e4b0922fc	New gRPC vertex type	2018-07-24 11:01:41 -07:00
Timothy Clem	c1c71e2de9	Fix up util	2018-07-24 11:01:07 -07:00
Timothy Clem	b35276f35f	Some graph styling	2018-07-24 11:01:01 -07:00
Timothy Clem	4bdea670c5	Two different ways to get out imports	2018-07-24 11:00:46 -07:00
Timothy Clem	cdcf93609a	New datatype for unknown/external modules	2018-07-24 10:58:40 -07:00
Timothy Clem	ebea0468bf	Merge branch 'master' into bump-tree-sitter	2018-07-24 09:08:54 -07:00
Rob Rix	a1beb068d0	Name the imports of the various semantics.	2018-07-24 10:22:06 -04:00
Rob Rix	8e16b96e8e	Rename inner to moduleEffects.	2018-07-24 10:18:37 -04:00
Rob Rix	172f699c21	Export all the smart constructors.	2018-07-24 10:14:16 -04:00