38 Commits

Author	SHA1	Message	Date
Rob Rix	b726bf8702	🔥 ConstraintKinds.	2019-12-12 11:41:06 -05:00
Rob Rix	e0c47f11bc	🔥 an unnecessary Effect instance for Monotype.	2019-12-12 11:32:01 -05:00
Rob Rix	5ae742cf1c	🔥 unnecessary scoped type variables.	2019-12-12 11:31:24 -05:00
Rob Rix	22b6c3bab3	🔥 some redundant language extensions.	2019-12-12 11:31:15 -05:00
Patrick Thomson	0ceba4a160	Ensure Readline is an HFunctor.	2019-11-08 10:24:54 -05:00
Patrick Thomson	f1a5f0439d	Fix state type in concrete analysis.	2019-11-08 10:24:18 -05:00
Patrick Thomson	df98749bd0	Fix Analysis.ImportGraph.	2019-11-08 10:23:39 -05:00
Patrick Thomson	e6bf975ee8	Fix state type in runFile.	2019-11-08 10:22:58 -05:00
Patrick Thomson	cac8047ee0	Fix Typecheck analysis. ... Had to write this RightModule instance by hand. It typechecks, so I guess it works?	2019-11-08 10:21:48 -05:00
Patrick Thomson	3feec0e5ee	Correct Algebra instance for FailC.	2019-11-08 10:16:34 -05:00
Patrick Thomson	e041d2440d	🔥 state types in FlowInsensitive.	2019-11-08 10:16:20 -05:00
Patrick Thomson	35ea116f00	Bump various FE dependencies from 0.5 to 1.0.	2019-11-07 15:48:57 -05:00
Rob Rix	ed65e40003	Abstract over the context constraints in Analysis.Concrete.	2019-10-28 13:32:35 -04:00
Rob Rix	3c1cdcb437	Abstract over the context constraints in Analysis.ImportGraph.	2019-10-28 13:31:45 -04:00
Rob Rix	5b004aba1f	Abstract over the context constraints in Analysis.ScopeGraph.	2019-10-28 13:30:41 -04:00
Rob Rix	c9c74ad67b	Abstract over the context constraints in Analysis.Typecheck.	2019-10-28 13:29:44 -04:00
Rob Rix	b9e05a97e7	Derive the HFunctor & RightModule instances for Polytype.	2019-10-28 13:27:52 -04:00
Rob Rix	37d41a83a1	Derive the RightModule instance for Monotype.	2019-10-28 13:26:48 -04:00
Rob Rix	554b289657	Derive the Effect instance for Monotype.	2019-10-28 11:59:37 -04:00
Rob Rix	4f3938d293	Bump for constraints in the Effect signature.	2019-10-28 11:57:59 -04:00
Rob Rix	e4dfe76ce9	Fix up the Readline effect & carrier.	2019-10-28 10:58:49 -04:00
Rob Rix	bb7fb81c68	Fix the analyses constraints.	2019-10-28 10:57:09 -04:00
Rob Rix	5cc2e2509d	evalFresh.	2019-10-28 10:56:58 -04:00
Rob Rix	f837076616	Fix an ambiguous variable.	2019-10-28 10:56:38 -04:00
Rob Rix	bb6d3e027f	Reformat a signature.	2019-10-28 10:56:30 -04:00
Rob Rix	1ba069fedd	Identity.	2019-10-28 10:40:27 -04:00
Rob Rix	f206046d21	Fix Analysis.Typecheck. ... Yeah, this is not going to fly.	2019-10-25 17:46:06 -04:00
Rob Rix	50a94cee9d	Correct Fail.WithLoc.	2019-10-25 17:45:43 -04:00
Rob Rix	ff60586752	Reset fresh manually.	2019-10-25 17:45:35 -04:00
Rob Rix	dedeb43162	Export the Cache type.	2019-10-25 17:45:25 -04:00
Rob Rix	b1dd77d2fc	Fix an import.	2019-10-25 17:45:19 -04:00
Rob Rix	5372cfad51	Merge branch 'master' into fused-effects-one-dot-zero	2019-10-25 16:05:40 -04:00
Rob Rix	7f39647c22	🔥 the redundant dependencies on directory & filepath.	2019-10-11 14:38:00 -04:00
Rob Rix	ac103657aa	Use pathtype instead of directory & filepath to set up the readline effect.	2019-10-11 14:37:29 -04:00
Rob Rix	6d5583131d	🔥 semantic-analysis doctests.	2019-10-11 12:54:29 -04:00
Rob Rix	7f857c8c58	🔥 a doctest we can’t run.	2019-10-11 12:54:21 -04:00
Rob Rix	284c1ae4f8	Copy the Analysis.* and Control.* hierarchies into semantic-analysis.	2019-10-11 12:49:37 -04:00
Rob Rix	71a6331c7a	Stub in a package for analysis.	2019-10-11 12:42:49 -04:00