1
1
mirror of https://github.com/github/semantic.git synced 2024-12-28 09:21:35 +03:00
Commit Graph

23058 Commits

Author SHA1 Message Date
joshvera
497c812d7f ++proto3-suite 2018-05-31 12:30:39 -04:00
Rob Rix
34d79b7617 Merge branch 'master' into swap-module-table-ordering 2018-05-31 12:24:58 -04:00
Josh Vera
7d1821d70d Merge branch 'master' into no-extra-lib-dirs 2018-05-31 12:22:56 -04:00
Rick Winfrey
9016553aaa Merge branch 'master' into haskell-assignment 2018-05-31 11:22:45 -05:00
Josh Vera
3ccfd2c690 Merge pull request #1897 from github/env-effect
Env effect
2018-05-31 12:22:24 -04:00
Rick Winfrey
b8d22f215f 🔥 >>= 2018-05-31 09:21:19 -07:00
Timothy Clem
d05225fe61 Test fixes 2018-05-31 08:44:44 -07:00
joshvera
1c5d8d816e lints 2018-05-31 11:38:49 -04:00
Josh Vera
a342445b30 Merge branch 'master' into protobuf-instances 2018-05-31 11:33:19 -04:00
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