31870 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	71e4981805	Specialize EdgeType to Name.	2019-11-05 11:34:00 -05:00
Rob Rix	535ec0576a	🔥 some quantifiers.	2019-11-05 11:33:33 -05:00
Rob Rix	2f676e892e	Specialize the Env synonym to Name.	2019-11-05 11:32:55 -05:00
Rob Rix	398d377e35	Specialize Concrete to Name.	2019-11-05 11:32:22 -05:00
Rob Rix	29b117033b	Move Edge down.	2019-11-05 11:29:05 -05:00
Rob Rix	924e0d0129	🔥 Frame.	2019-11-05 11:28:18 -05:00
Rob Rix	98acd3adb7	Specialize concrete analysis to Name.	2019-11-05 11:26:01 -05:00
Rob Rix	0e69c0a67a	Use Analysis.Name in Core.	2019-11-05 11:17:09 -05:00
Rob Rix	9672556476	Move Name into its own module.	2019-11-05 11:13:15 -05:00
Rob Rix	9f26a4c13e	Stub in a module for Name.	2019-11-05 11:11:39 -05:00
Rob Rix	95298aa511	Avoid loading every package five times.	2019-11-05 10:59:40 -05:00
Rob Rix	cd5165ce00	Strengthen to Fin without Var.	2019-11-04 16:36:31 -05:00
Rob Rix	4811adddae	Define a smart constructor for Lam binding with Fin.	2019-11-04 16:29:08 -05:00
Rob Rix	ea2b679049	Export Name.	2019-11-04 16:07:02 -05:00
Rob Rix	23d1c84342	Define a RightModule instance for Intro.	2019-11-04 16:03:14 -05:00
Rob Rix	20591377da	Define an HFunctor instance for Intro.	2019-11-04 16:02:19 -05:00
Rob Rix	a5e1d5e0cb	Derive a Generic1 instance for Intro.	2019-11-04 16:02:12 -05:00
Rob Rix	4b0af27dde	Rename Domain to Intro.	2019-11-04 15:53:54 -05:00
Rob Rix	e5bfa87d86	Derive Foldable, Functor, & Traversable instances for Domain.	2019-11-04 15:52:40 -05:00
Rob Rix	3bafe21a23	Define an eliminator for Lam.	2019-11-04 15:38:27 -05:00
Rob Rix	2d362d9874	Define a smart constructor for multiple lambdas.	2019-11-04 15:36:55 -05:00
Rob Rix	9822b4eed7	Define a smart constructor for Lam.	2019-11-04 14:48:59 -05:00
Rob Rix	ca3bb15353	Define a smart constructor for Record.	2019-11-04 14:47:43 -05:00
Rob Rix	c9161d51d1	Define a smart constructor for String.	2019-11-04 14:47:19 -05:00
Rob Rix	6b6581dbbe	Define a smart constructor for Bool.	2019-11-04 14:46:41 -05:00
Rob Rix	722e40571c	Define a smart constructor for Unit.	2019-11-04 14:46:14 -05:00
Rob Rix	20555fcf84	Lam’s name is in Maybe.	2019-11-04 14:44:21 -05:00
Rob Rix	99a84e5646	Specialize Domain to Name.	2019-11-04 14:43:15 -05:00
Rob Rix	7208186efa	Copy Name in from Core.Name.	2019-11-04 14:40:18 -05:00
Rob Rix	24f6159acc	Domain is scope-safe.	2019-11-04 14:35:24 -05:00
Patrick Thomson	f0956624a0	closer	2019-11-04 14:33:57 -05:00
Rob Rix	40d3e5ece6	Rename Arr to :->.	2019-11-04 14:33:06 -05:00
Rob Rix	a3e7d51cfe	Fix a typo.	2019-11-04 14:30:45 -05:00
Rob Rix	3721ccbace	Add Lam to Domain.	2019-11-04 14:30:17 -05:00
Rob Rix	e4caca6f19	Add Record to Domain.	2019-11-04 14:27:12 -05:00
Rob Rix	d4190ddb17	Derive some instances for Domain.	2019-11-04 14:24:05 -05:00
Rob Rix	664c7301db	Stub in a Domain datatype modelling the basic kinds of values.	2019-11-04 14:22:48 -05:00
Rob Rix	1098d95cd8	Stub in a module for modelling the concrete domain.	2019-11-04 14:20:56 -05:00
Rob Rix	a55972ef88	Remove the heap fields from Analysis.	2019-11-04 14:04:03 -05:00
Rob Rix	a667c656a1	Reformat the signature for concreteAnalysis.	2019-11-04 14:03:31 -05:00
Rob Rix	07568e55a5	Use the Heap effect to define eval.	2019-11-04 14:00:05 -05:00
Rob Rix	9303d7e7ca	Use the Heap effect to define the scope graph analysis.	2019-11-04 13:57:16 -05:00
Rob Rix	3e987cc7e2	Sort constraints.	2019-11-04 13:56:06 -05:00
Rob Rix	42b7e77e84	Use the Heap effect to define the import graph analysis.	2019-11-04 13:54:48 -05:00
Rob Rix	641b989983	Revert "Export runNonDetM." ... This reverts commit 309b5fd1bb.	2019-11-04 13:52:42 -05:00
Rob Rix	d5b180b465	Revert "Run flow-insensitive analyses in an Alternative context." ... This reverts commit 6199c15436.	2019-11-04 13:52:28 -05:00
Rob Rix	ca50eb2fdb	Run the Heap effect inside convergeTerm.	2019-11-04 13:51:46 -05:00
Rob Rix	29d6654f1a	Use the Heap effect in Typecheck.	2019-11-04 13:50:04 -05:00
Rob Rix	6199c15436	Run flow-insensitive analyses in an Alternative context.	2019-11-04 13:47:59 -05:00
Rob Rix	309b5fd1bb	Export runNonDetM.	2019-11-04 13:46:57 -05:00