22949 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Timothy Clem	5f676278a6	Small cleanups	2018-05-31 08:29:33 -07:00
joshvera	330908a7ef	Remove dupe Span and Pos	2018-05-31 11:26:01 -04:00
joshvera	bde3400f28	++proto3-suite	2018-05-31 11:23:02 -04:00
Timothy Clem	fe0f9460a7	Add a note about usage of []	2018-05-31 08:10:20 -07:00
Timothy Clem	327bbf4ca0	Revert back to carefully introducing Statements	2018-05-31 08:09:06 -07:00
Rob Rix	00e0843a31	Define a liveMap function.	2018-05-31 10:58:16 -04:00
Rob Rix	6e482be698	Rename Store back to Allocator for now.	2018-05-31 10:21:57 -04:00
Rob Rix	0bf97c0395	Use sendStore to obviate the need for ScopedTypeVariables.	2018-05-31 10:11:53 -04:00
Rob Rix	a994c66f0b	Add a heading for the effects.	2018-05-31 10:09:57 -04:00
Rob Rix	f2d51d3802	Don’t export modifyHeap.	2018-05-31 09:40:38 -04:00
Rob Rix	798b65d82c	gc is an action in Store.	2018-05-31 09:40:06 -04:00
Rob Rix	b13dc4660a	Don’t export reachable.	2018-05-31 09:33:38 -04:00
Rob Rix	a72515b858	Move gc/reachable into Control.Abstract.Heap.	2018-05-31 09:33:04 -04:00
Rob Rix	91122566df	Move ValueRoots into Control.Abstract.Roots.	2018-05-31 09:31:36 -04:00
Rob Rix	58b1de14fc	💄	2018-05-31 09:18:37 -04:00
Rob Rix	252b904520	Swap the type parameters.	2018-05-31 09:05:30 -04:00
Rob Rix	8b9f49b5ea	Evaluatable instances don’t need to know about the state.	2018-05-31 09:05:00 -04:00
Rob Rix	21f43cdf4d	Assign values using the Store effect.	2018-05-31 08:58:32 -04:00
Rob Rix	eb40de097e	Reformat the runStore signature.	2018-05-31 08:52:42 -04:00
Rob Rix	ffd1e3e3f8	💄: $ for effect handler.	2018-05-31 08:51:17 -04:00
Rob Rix	b491750f94	Specialize runStore.	2018-05-31 08:50:57 -04:00
Rob Rix	42540a1e20	Rename Allocator to Store.	2018-05-31 08:47:16 -04:00
Rob Rix	9f1e73cd07	Align the Allocator constructors.	2018-05-31 08:42:41 -04:00
Patrick Thomson	72bc6f9b7f	whoops	2018-05-31 00:16:39 -04:00
Patrick Thomson	c4c92053de	cleanup	2018-05-31 00:10:45 -04:00
Patrick Thomson	c4897c57c6	merge fallout	2018-05-31 00:05:32 -04:00
Patrick Thomson	d144087486	Merge remote-tracking branch 'origin/master' into text-names	2018-05-30 23:51:11 -04:00
Patrick Thomson	014b830db2	source => rawSource, tsource => source	2018-05-30 23:24:50 -04:00
Patrick Thomson	f541c42da8	Fix literals to store text internally.	2018-05-30 22:32:22 -04:00
Rick Winfrey	c49ce6d5a7	Merge branch 'master' into haskell-assignment	2018-05-30 19:21:11 -05:00
Rick Winfrey	cc3a215833	Update specialized constructors ([], (,), (->), ()) ... Also updates the `TuplingConstructor` to store its arity as Int	2018-05-30 17:17:05 -07:00
Timothy Clem	7e2c8eed3a	Use Statement exclusively for imperative semantics	2018-05-30 17:06:32 -07:00
Rick Winfrey	aef9fd94c8	🔥 GAlign from new syntax constructors	2018-05-30 16:06:04 -07:00
Rob Rix	9c88e5c6b2	Merge branch 'env-effect' into swap-module-table-ordering	2018-05-30 18:58:14 -04:00
Rob Rix	6f9cfae147	Merge branch 'master' into env-effect	2018-05-30 18:57:52 -04:00
Rob Rix	c5f3187946	Merge branch 'master' into swap-module-table-ordering	2018-05-30 18:57:38 -04:00
Rob Rix	c7e8419e29	Placate hlint.	2018-05-30 18:56:50 -04:00
Rob Rix	969d31adbf	Swap the ordering of the evaluated module table.	2018-05-30 18:54:58 -04:00
Patrick Thomson	d339f0ac69	WIP: converting literals to store text internally	2018-05-30 18:48:45 -04:00
Patrick Thomson	1171abf072	Make Integer use Text.	2018-05-30 18:37:07 -04:00
Rob Rix	68e4c4615e	Push the prelude env & drop it before filtering.	2018-05-30 18:35:38 -04:00
Patrick Thomson	7ba832d566	Fix tests.	2018-05-30 18:29:54 -04:00
Rob Rix	d441d98456	Copy the environment back out for entry points.	2018-05-30 18:29:30 -04:00
Patrick Thomson	64fd3b0fcc	Use Text rather than ByteString for Name values.	2018-05-30 18:16:39 -04:00
Rob Rix	334f8738c0	Keep the builtins around.	2018-05-30 18:13:36 -04:00
joshvera	5fc9090ad1	Regenerate Semantic.hs	2018-05-30 18:04:07 -04:00
joshvera	11a48035b6	Generate Pos and Span messages	2018-05-30 17:42:14 -04:00
joshvera	3701493deb	++proto3	2018-05-30 17:41:48 -04:00
Rob Rix	7e68c0723a	Fix the Show instance for ClosureBody to not break prettyShow.	2018-05-30 17:40:53 -04:00
Rob Rix	08cf65718f	Fix the evaluator spec.	2018-05-30 17:20:08 -04:00