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

22915 Commits

Author SHA1 Message Date
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
Rob Rix
68e4c4615e Push the prelude env & drop it before filtering. 2018-05-30 18:35:38 -04:00
Rob Rix
d441d98456 Copy the environment back out for entry points. 2018-05-30 18:29:30 -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
Rob Rix
da79d76872 🔥 getExports. 2018-05-30 15:14:17 -04:00
Rob Rix
cb961fa994 Handle exports in Env. 2018-05-30 15:14:02 -04:00
Rob Rix
0f6ad38a4e Move export into Env. 2018-05-30 15:11:24 -04:00
joshvera
9393a000f0 ++proto3-suite 2018-05-30 15:07:31 -04:00
joshvera
e82b90fba2 Use Named1 instance 2018-05-30 14:48:31 -04:00
Rob Rix
6a3f4ba689 Rename addExport to export. 2018-05-30 14:30:02 -04:00
Rob Rix
11a92c0cb6 Move getExports & addExport into Control.Abstract.Environment. 2018-05-30 14:27:32 -04:00
Rob Rix
eff98cfb03 🔥 modifyExports. 2018-05-30 14:21:13 -04:00
Rob Rix
3ae5cc171a 🔥 withExports. 2018-05-30 14:20:23 -04:00
Rob Rix
7d67ee3905 🔥 putExports. 2018-05-30 14:20:01 -04:00
Rob Rix
f4c33d4d8f Don’t export modifyExports. 2018-05-30 14:19:39 -04:00
Rob Rix
5d9b9657d7 Dedent. 2018-05-30 14:15:32 -04:00
Timothy Clem
f7448522c8 Merge branch 'master' into enhanced-json-output 2018-05-30 11:14:39 -07: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