github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity
22,939 Commits 19 Branches 16 Tags 46 MiB
175bcaf5d5
Commit Graph

22939 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Rob Rix
bcf9338b75 Update the language specs to respect the env-per-entry-point thing. 2018-05-30 17:19:05 -04:00
Rob Rix
deaaa80a52 Rename runEnvState to runEnv. 2018-05-30 17:17:01 -04:00
joshvera
fab1c4011c ++proto3-wire and proto3-suite 2018-05-30 17:00:05 -04:00
Timothy Clem
40ea6d0767 Helpers at the bottom of assignment file, use emptyStatements and manyStatements 2018-05-30 12:54:22 -07:00
Rob Rix
bf35d9db79 We only need one handler. 2018-05-30 15:33:56 -04:00
Rob Rix
a6025262c5 🔥 the environment from EvaluatingState. 2018-05-30 15:32:54 -04:00
Rob Rix
66594cf631 Don’t expect an env in resumingValueError. 2018-05-30 15:32:29 -04:00
Timothy Clem
f7b6ba3734 Fix for emptyStatements 2018-05-30 12:23:29 -07:00
Timothy Clem
c0ca3df3d1 Basic use of Statements in assignment and eval 2018-05-30 12:23:29 -07:00
Timothy Clem
85257f5622 Introduce Statements syntax type and let program use it 2018-05-30 12:23:29 -07:00