22635 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Charlie Somerville	820eac3480	rename location type var to address	2018-05-30 10:21:40 -05:00
Charlie Somerville	8336c60f54	cut State Environment over to Env effect	2018-05-30 10:21:37 -05:00
Rob Rix	90ad5bc45e	Add a hint about maybeM.	2018-05-30 10:37:16 -04:00
Rob Rix	9caf8893b6	Correct a couple of hints.	2018-05-30 10:36:16 -04:00
Rob Rix	6adc5d7413	Placate hlint some more.	2018-05-30 10:33:51 -04:00
Rob Rix	8bcc9f4cb1	Placate hlint.	2018-05-30 10:33:28 -04:00
Rob Rix	e8d8856e3a	Merge branch 'env-effect' of https://github.com/github/semantic into env-effect	2018-05-30 10:26:30 -04:00
Rob Rix	07ee00accc	Merge branch 'master' into env-effect	2018-05-30 10:26:12 -04:00
Rob Rix	0f02fea3b1	Merge pull request #1901 from github/the-address-is-dead,-long-live-the-address ... 🔥 Address, & plug leaks in the Environment abstraction	2018-05-30 10:25:20 -04:00
Rob Rix	5499528ac0	Define a Ref datatype for references to values in the heap.	2018-05-30 10:24:25 -04:00
Rob Rix	2baf449d20	Merge branch 'long-live-the-address' into env-effect	2018-05-30 10:22:51 -04:00
Rob Rix	4f2df09a63	Merge branch 'the-address-is-dead,-long-live-the-address' into env-effect	2018-05-30 10:15:16 -04:00
Rob Rix	52e8502970	Rename Located’s fields to address….	2018-05-30 10:03:40 -04:00
Rob Rix	8fcffd0837	Rename the location type parameter to address.	2018-05-30 09:55:32 -04:00
Rob Rix	e9880781e5	Make sure we can load the Address module.	2018-05-30 09:51:08 -04:00
Rob Rix	f9b29f143e	And another.	2018-05-30 09:46:56 -04:00
Rob Rix	04b43477c9	🔥 a reference to Address in the spec.	2018-05-30 09:46:30 -04:00
Rob Rix	8f7979d7fb	🔥 Address.	2018-05-30 09:29:05 -04:00
Rob Rix	a44f2b2f86	Correct some doc comments.	2018-05-30 09:28:03 -04:00
Rob Rix	61d5ba6c41	Use location instead of Address in the Exports interface.	2018-05-30 09:26:31 -04:00
Rob Rix	89ae7740ed	Use location instead of Address in the heap/env interfaces.	2018-05-30 09:25:32 -04:00
Rob Rix	dcf4b9abc7	📝 bind/bindAll.	2018-05-30 09:16:12 -04:00
Rob Rix	01b30e5ae1	🔥 the Eq1, Ord1, & Show1 instances for Address.	2018-05-30 09:10:36 -04:00
Rob Rix	cfe6be3bd5	🔥 fullEnvironment.	2018-05-30 09:06:57 -04:00
Rob Rix	a6934f5dfa	Placate hlint.	2018-05-30 09:02:35 -04:00
Rob Rix	756cade411	Fix the doctests.	2018-05-30 09:01:13 -04:00
Rob Rix	cb5b786f35	:fire localEnv.	2018-05-30 08:45:44 -04:00
Rob Rix	3226a1bc39	Use locally instead of localEnv.	2018-05-30 08:45:00 -04:00
Rob Rix	f91d81df50	Use locally instead of localEnv id.	2018-05-30 08:39:53 -04:00
Rob Rix	8bde888c79	Define a locally helper to bind a new environment.	2018-05-30 08:39:05 -04:00
Rob Rix	99e75c2636	🔥 localize.	2018-05-30 08:37:40 -04:00
Rob Rix	703275d404	Don’t export defaultEnvironment.	2018-05-30 08:35:46 -04:00
Rob Rix	a4353e1797	Don’t export modifyEnv.	2018-05-30 08:33:23 -04:00
Rob Rix	b42e17aa95	bindAll instead of modifying the env.	2018-05-30 08:33:02 -04:00
Rob Rix	2daed4c1f9	Define a helper to bind all from an environment.	2018-05-30 08:26:56 -04:00
Rob Rix	b01f1ebbf4	Use bind instead of manually inserting into the environment.	2018-05-30 08:24:00 -04:00
Rob Rix	51075cfa9d	Define a bind function to bind names in the environment.	2018-05-30 08:20:11 -04:00
Rob Rix	319bee9f91	Rename bind to intersect.	2018-05-30 08:18:28 -04:00
Rob Rix	0624afe626	Heap operates on locations.	2018-05-30 08:17:22 -04:00
Rob Rix	74067b20c2	Exports operates on locations.	2018-05-30 08:14:57 -04:00
Rob Rix	da3e9ad59c	The Environment operates on locations.	2018-05-30 08:13:55 -04:00
Rob Rix	dcdcf52bea	Live takes locations, not addresses.	2018-05-30 08:05:23 -04:00
Rob Rix	4ae5cb5f4e	🔥 Live’s value parameter.	2018-05-30 08:03:38 -04:00
Rob Rix	84117e4fe9	Define roots in terms of addresses.	2018-05-30 08:03:30 -04:00
Rob Rix	d8aa3c9a41	Use bindAll most places.	2018-05-30 07:53:54 -04:00
Rob Rix	d9a0d4dad7	forLoop runs in Env.	2018-05-30 07:51:22 -04:00
Rob Rix	23a2f7ee7b	Fix a typo.	2018-05-30 07:45:12 -04:00
Rob Rix	c58d0df57f	Run the Env effect.	2018-05-29 22:03:54 -04:00
Rob Rix	d4d5cc04d5	Don’t provide a Reader for the default environment.	2018-05-29 21:41:04 -04:00
Rob Rix	9a8acdc328	Wrap an Address.	2018-05-29 21:23:50 -04:00