16777 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Timothy Clem	53d4a41cff	Move to bottom of file for clarity	2017-11-28 15:44:23 -08:00
Timothy Clem	6fc6139887	Don't need these	2017-11-28 15:44:12 -08:00
Timothy Clem	0c80260ceb	Rework evalute to infer location from the value	2017-11-28 15:43:58 -08:00
Timothy Clem	a7bb4aae58	Need a Reader for the address set in our effect stack	2017-11-28 15:43:06 -08:00
Rob Rix	ae9c9ce2cb	Evaluate identifiers.	2017-11-28 17:39:37 -05:00
Rob Rix	5a65fc11cd	Typecheck Programs.	2017-11-28 17:23:46 -05:00
Rob Rix	3e71e57358	Cell types uniquely determine location types.	2017-11-28 17:19:45 -05:00
Rob Rix	3b4e4bcff1	Abstract the Eval instance for Assignment over the value type.	2017-11-28 17:19:25 -05:00
Rob Rix	e416ebb679	Relate value types to their location types.	2017-11-28 17:19:13 -05:00
Rob Rix	8d625d63c6	Derive a Generic1 instance for Configuration.	2017-11-28 16:13:20 -05:00
Rob Rix	451025d1b2	Cache roots as lists in configurations.	2017-11-28 16:13:12 -05:00
Rob Rix	0252667c34	🔥 Abstract.Set.	2017-11-28 16:08:48 -05:00
Rob Rix	790e5fc619	🔥 a redundant type parameter to ev.	2017-11-28 15:44:08 -05:00
Rob Rix	e5f8901851	Simplify an Eval constraint slightly.	2017-11-28 15:42:57 -05:00
Rob Rix	c7fbf21802	Remove the t parameter to Eval.	2017-11-28 15:42:15 -05:00
Timothy Clem	56e5b206c4	Eval doesn't need to be parameterized by l	2017-11-28 11:56:46 -08:00
Timothy Clem	d946c876ae	Eval type class doesn't need to know about Term	2017-11-28 11:48:08 -08:00
Timothy Clem	0d391d8e39	Update Eval instance for Empty	2017-11-28 11:15:14 -08:00
Timothy Clem	97e5581436	Update Eval instance for Program	2017-11-28 11:15:03 -08:00
Timothy Clem	00c48f3270	Updated Eval instance for List	2017-11-28 11:14:29 -08:00
Timothy Clem	e65686463a	Update Context eval instance to use yield	2017-11-28 11:13:34 -08:00
Timothy Clem	b821c4009c	Assignment eval now uses continutation, does envLookup	2017-11-28 11:13:05 -08:00
Timothy Clem	9f4eed9aef	Define freeVariables1 helper	2017-11-28 11:10:30 -08:00
Timothy Clem	361aa18578	Change context order for easier type application	2017-11-28 11:10:10 -08:00
Timothy Clem	1a7f29c26b	Whitespace	2017-11-28 11:09:55 -08:00
Timothy Clem	d9c4c736d1	Use yield continutation in our syntaxes	2017-11-28 11:09:31 -08:00
Timothy Clem	953e86fc6e	Fix up interpreters to eval with continuation	2017-11-28 11:08:05 -08:00
Timothy Clem	7af7c7aab9	Give eval a continutation	2017-11-28 11:06:46 -08:00
Timothy Clem	dc1b7ae388	Implement assignment evaluation	2017-11-27 14:44:03 -08:00
Timothy Clem	2e5a4c2a9b	Linter doesn't like this	2017-11-27 14:43:45 -08:00
Timothy Clem	c3f10a1144	No need for MonoLocalBinds	2017-11-27 14:43:37 -08:00
Timothy Clem	32be8f48fd	Better Eval instances for []	2017-11-27 14:43:25 -08:00
Timothy Clem	66027a688e	No need for MonoLocalBinds here	2017-11-27 14:43:03 -08:00
Timothy Clem	7afe9660f4	FreeVariables1 instances	2017-11-27 14:42:51 -08:00
Timothy Clem	8ce14ba44d	Eval program accumulates, returns last value	2017-11-27 14:42:08 -08:00
Timothy Clem	11ca296fc0	Add FreeVariables1 instance for []	2017-11-27 14:41:13 -08:00
Timothy Clem	73990f6c0b	Fix up FreeVariables1 instances	2017-11-27 14:40:59 -08:00
Timothy Clem	15c90008c5	Eval instance for Ints	2017-11-27 12:48:49 -08:00
Timothy Clem	ca2a9511db	Comment eval instances	2017-11-27 12:48:06 -08:00
Timothy Clem	66746b886d	Find a better spot for these Eval instances	2017-11-22 13:50:44 -08:00
Timothy Clem	82e45bdb35	Collapse up collecting interpreter functions into one file	2017-11-22 13:50:22 -08:00
Timothy Clem	fb01619f7e	One interpreter remains... ... ... and it's the caching evalutator.	2017-11-22 13:30:26 -08:00
Timothy Clem	9d4a1f21b5	Evalute to Types	2017-11-22 10:48:12 -08:00
Timothy Clem	79cc2cae5a	s/NoOp/Unit	2017-11-22 10:47:38 -08:00
Timothy Clem	cc41cec227	Shorten type application on example	2017-11-22 10:46:58 -08:00
Timothy Clem	08318707d9	EvalCollect instances	2017-11-22 10:19:22 -08:00
Timothy Clem	ce1581553b	Rename eval <=> evaluate	2017-11-22 10:18:07 -08:00
Timothy Clem	0ffb83d22b	Need this for some reason	2017-11-22 10:17:17 -08:00
Timothy Clem	87145308cd	Bring in some of the other interpreters	2017-11-22 08:04:13 -08:00
Timothy Clem	c41bf38de6	Todo eval implementations and NoOp value and type	2017-11-22 08:03:51 -08:00