1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Commit Graph

19337 Commits

Author SHA1 Message Date
Rob Rix
d570c854f3 Merge branch 'master' into jump-around,-jump-around 2018-03-15 14:22:36 -04:00
Patrick Thomson
601e99d7a6 Merge pull request #1563 from github/array-literals
Evaluatable instance for Array literals.
2018-03-15 14:18:29 -04:00
Rob Rix
300af7ebde Correct the paths to the global env. 2018-03-15 10:23:50 -04:00
Rob Rix
3c6d4f9976 🔥 mentions of the obsolete *Value synonyms. 2018-03-15 10:14:22 -04:00
Rob Rix
84af53a4fa 📝 goto. 2018-03-15 10:12:31 -04:00
Rob Rix
6e68f0115a 📝 label. 2018-03-15 10:12:26 -04:00
Rob Rix
acd7051b34 📝 MonadControl. 2018-03-15 10:09:51 -04:00
Rob Rix
6764d31105 Note a TODO for Label. 2018-03-15 10:09:02 -04:00
Rob Rix
07ff06f2f0 📝 Label. 2018-03-15 10:08:57 -04:00
Rob Rix
5171020c70 Merge branch 'master' into jump-around,-jump-around 2018-03-15 10:05:42 -04:00
Rob Rix
f575c05257 🔥 Elaborating for now. 2018-03-15 10:01:23 -04:00
Patrick Thomson
29ad5503e4 Merge remote-tracking branch 'origin/master' into array-literals 2018-03-15 09:13:31 -04:00
Rob Rix
6831bc2502 Simplify the language extensions. 2018-03-14 21:40:43 -04:00
Rob Rix
fcf44b5a37 Rename Store to Heap. 2018-03-14 20:42:59 -04:00
Rob Rix
f68da42754 Simplify the superclasses of MonadValue. 2018-03-14 20:30:26 -04:00
Rob Rix
8378c0aed3 Correct the docs for Closure. 2018-03-14 20:27:15 -04:00
Rob Rix
272f6ec68a Remove the term parameter from MonadValue. 2018-03-14 20:10:14 -04:00
Rob Rix
d47f91968a Remove the term parameter from Value. 2018-03-14 20:04:55 -04:00
Rob Rix
d987682a63 Closures wrap labels. 2018-03-14 19:58:30 -04:00
Rob Rix
d6fd75143f Require MonadControl for MonadEvaluator. 2018-03-14 19:54:52 -04:00
Rob Rix
c6baf4d873 Derive MonadControl instances for the other analyses. 2018-03-14 19:54:39 -04:00
Rob Rix
dfebaf7911 Define MonadControl for Evaluating. 2018-03-14 19:54:21 -04:00
Rob Rix
f022d0202c Define a MonadControl typeclass which allocates and performs gotos. 2018-03-14 19:54:06 -04:00
Rob Rix
3bba683093 Stub in a MonadValue instance for elaborated terms. 2018-03-14 16:56:17 -04:00
Rob Rix
c3ba46d82f Define a MonadAnalysis instance. 2018-03-14 16:44:33 -04:00
Rob Rix
67c25c004a Derive the evaluator instances. 2018-03-14 16:42:54 -04:00
Rob Rix
0c199987ca Derive a bunch of instances. 2018-03-14 16:42:11 -04:00
Rob Rix
3ac59ce623 Define an elaborating analysis. 2018-03-14 16:39:58 -04:00
Rob Rix
e4b0d4c4a0 Merge pull request #1569 from github/fix-fix
Fix loop typechecking
2018-03-14 16:39:23 -04:00
Rob Rix
95c5a63b48 Merge branch 'master' into fix-fix 2018-03-14 16:31:34 -04:00
Timothy Clem
8e6a75ebad Merge pull request #1548 from github/import-language-tour
Import language tour (with specs)
2018-03-14 13:25:04 -07:00
Timothy Clem
169af3a9f8 Remove commented out withExports 2018-03-14 12:55:27 -07:00
Rob Rix
6729a6ce58 We’ve already filtered out the bound variables. 2018-03-14 15:55:04 -04:00
Timothy Clem
b2c5b84e00 Merge remote-tracking branch 'origin/master' into import-language-tour 2018-03-14 12:53:48 -07:00
Rob Rix
4d1ff01231 Don’t close over bound variables. 2018-03-14 15:50:45 -04:00
Rob Rix
461df79bad Much simpler contexts. 2018-03-14 15:44:07 -04:00
Rob Rix
344bc6e407 🔥 a redundant import. 2018-03-14 15:43:32 -04:00
Rob Rix
43387984a9 Revert "Define LocationFor as an open type family."
This reverts commit 52620af45fd76d05fb8a7b2ca75390d979957068.
2018-03-14 15:42:57 -04:00
Rob Rix
246090e1b6 Revert "Define an AbstractValue typeclass with instances for Value & Type."
This reverts commit cc218ca7382f5eaba899c47f870c46aa40e2e7dc.
2018-03-14 15:42:49 -04:00
Rob Rix
a090c6027a Revert "Generalize Environment over the address type."
This reverts commit b48d00b714e11c1af76eb49087d989b9b5c7e3c6.
2018-03-14 15:42:35 -04:00
Rob Rix
ed26b92bad Revert "Rename a bunch of type parameters."
This reverts commit 646e3fd7cdfb1426ea6d47df828e42671abd8a39.
2018-03-14 15:41:57 -04:00
Rob Rix
4197dd0a92 Revert "Rename a bunch more type parameters."
This reverts commit 1371ea268403682b8fe6f72b8b6269f3622cc6fd.
2018-03-14 15:41:39 -04:00
Rob Rix
b854009e82 Revert "Define Cell as an open type family."
This reverts commit 678ccd0d90a687d4e7a606a90a2fc60cde62f424.
2018-03-14 15:41:31 -04:00
Rob Rix
5e24aba4b7 Revert "Define Cell as an associated type family."
This reverts commit 9f314af1d06735e0b3f2a766acb2c1871951c698.
2018-03-14 15:41:18 -04:00
Rob Rix
8ad1ee1ff3 Revert "We don’t actually need the functional dependency here."
This reverts commit 05bd4bd0df349a43409c25200280164e79447627.
2018-03-14 15:41:11 -04:00
Rob Rix
329bed869f Revert "Rename some more type parameters."
This reverts commit f7f926908f74b9a3345021ed2dbbe762dd8162c9.
2018-03-14 15:40:57 -04:00
Rob Rix
f86c84a9fe Revert "And some more type parameters."
This reverts commit a07d36fafcd067c696203323341e72e7b31f0310.
2018-03-14 15:40:51 -04:00
Rob Rix
5e96b88d9c Revert "…and some more."
This reverts commit 4f6c091f13ad21b6995f96bd7d55e859ad43be4b.
2018-03-14 15:40:43 -04:00
Rob Rix
770ca5b290 Revert "Add superclass constraints to AbstractLocation."
This reverts commit 773e41f9f83272d6ca982b0075b6beb4177c94a1.
2018-03-14 15:40:37 -04:00
Rob Rix
0be76f15dc Revert "Require Ord instances for LocationFor."
This reverts commit 3b0643057e71f7067c4b4a6220af339b74eda27a.
2018-03-14 15:40:26 -04:00