1
1
mirror of https://github.com/github/semantic.git synced 2024-12-29 18:06:14 +03:00
Commit Graph

22983 Commits

Author SHA1 Message Date
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
Timothy Clem
6ed988e4d6 Doc fix 2018-05-30 12:23:29 -07:00
Timothy Clem
a42d0310bd Merge pull request #1899 from github/enhanced-json-output
Enhanced json output
2018-05-30 12:23:02 -07:00
Rob Rix
7072b1f8dd Don’t re-export Fail. 2018-05-30 15:19:50 -04:00
Rob Rix
d01ef4e0b7 🔥 the exports in the evaluating state. 2018-05-30 15:17:35 -04:00
Rob Rix
5bef9603e9 🔥 the export effect in Evaluatable instances. 2018-05-30 15:17:23 -04:00
Rob Rix
293d76a32f export sends Export. 2018-05-30 15:17:02 -04:00