1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Commit Graph

22659 Commits

Author SHA1 Message Date
Rob Rix
5d9b9657d7 Dedent. 2018-05-30 14:15:32 -04:00
Rob Rix
f9ea94b8da Placate hlint. 2018-05-30 14:09:07 -04:00
Rob Rix
19d4ebefa4 🔥 putEnv. 2018-05-30 14:08:57 -04:00
Rob Rix
10d9454895 Converge locally w.r.t. the environment. 2018-05-30 14:05:42 -04:00
Rob Rix
adfa93f6c9 🔥 withEnv. 2018-05-30 14:03:19 -04:00
Rob Rix
c9360b2c61 Compose runState on to deal with the state. 2018-05-30 14:00:29 -04:00
Rob Rix
728829afb0 🔥 isolate. 2018-05-30 13:58:37 -04:00
Rob Rix
0e6db98fa5 We shouldn’t need to isolate any more. 2018-05-30 13:58:10 -04:00
Rob Rix
36dabb27e6 We can use fromMaybe now. 2018-05-30 13:53:55 -04:00
Rob Rix
152ba7f549 Placate hlint. 2018-05-30 13:52:39 -04:00
Rob Rix
d4e6d87756 Run the environment state in evaluatePackageWith. 2018-05-30 13:46:29 -04:00
Rob Rix
3c81b7024a Define a runEnvState handler. 2018-05-30 13:30:30 -04:00
Rob Rix
f9c7f2836d runEnv in the evaluator spec. 2018-05-30 13:03:50 -04:00
Rob Rix
a5072958b5 Run resumingValueError in State instead of Env. 2018-05-30 12:53:57 -04:00
Rob Rix
a243f2d837 Evaluating runs the env state. 2018-05-30 12:52:30 -04:00
Rob Rix
707c5819df 🔥 redundant constraints. 2018-05-30 12:51:16 -04:00
Rob Rix
8fca2b5ab5 pairValueWithEnv acts in State, not Env. 2018-05-30 12:50:51 -04:00
Rob Rix
99b92d336f 🔥 redundant constraint. 2018-05-30 12:41:04 -04:00
Charlie Somerville
d13a5da554 WIP 🍐 2018-05-30 11:38:42 -05:00
Rob Rix
6dfd7aa17f Merge branch 'master' into env-effect 2018-05-30 12:24:09 -04:00
Rob Rix
8cfc4ad9ee Merge branch 'env-effect' of https://github.com/github/semantic into env-effect 2018-05-30 12:20:22 -04:00
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
Josh Vera
58d69dec49 Merge pull request #1902 from github/long-live-the-address
Long live the address!
2018-05-30 11:19:03 -04:00
Charlie Somerville
12c6c39861 cut State Environment over to Env effect 2018-05-30 09:48:16 -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
3e9f9b6ae3 Merge branch 'master' into long-live-the-address 2018-05-30 10:25:34 -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