118 Commits

Author	SHA1	Message	Date
Rob Rix	b33c694094	Sort constraints.	2019-11-05 11:55:54 -05:00
Rob Rix	d06d73c81b	Rename a bunch of type parameters.	2019-11-05 11:55:42 -05:00
Rob Rix	f03de00aec	🔥 ScopedTypeVariables.	2019-11-05 11:54:41 -05:00
Rob Rix	611ae5fb0b	🔥 quantifiers.	2019-11-05 11:53:46 -05:00
Rob Rix	6191f2e1be	Specialize the scope graph analysis to Name.	2019-11-05 11:52:21 -05:00
Rob Rix	4962104008	Specialize Value to Name.	2019-11-05 11:50:32 -05:00
Rob Rix	a3775a1248	Specialize the import graph analysis to Name.	2019-11-05 11:48:42 -05:00
Rob Rix	630759d1d7	Specialize Monotype to Name.	2019-11-05 11:47:01 -05:00
Rob Rix	18bc19a04e	Specialize Type, Constraint, Solution, & Substitution to Name.	2019-11-05 11:45:59 -05:00
Rob Rix	814f6fe8cf	🔥 quantifiers.	2019-11-05 11:38:24 -05:00
Rob Rix	50e123a110	Specialize the typechecking analysis to Name.	2019-11-05 11:37:47 -05:00
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	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	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
Rob Rix	40d3e5ece6	Rename Arr to :->.	2019-11-04 14:33:06 -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	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