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

24264 Commits

Author SHA1 Message Date
Rick Winfrey
60ebfb6863 Add console.log builtin for TypeScript 2018-07-06 10:36:57 -07:00
Rick Winfrey
fbac72665c Use name 2018-07-06 10:36:34 -07:00
Rick Winfrey
1c8e90a918 Reflow effects list 2018-07-06 10:35:50 -07:00
Rick Winfrey
e145990577 Assign the monadic action before binding 2018-07-06 10:35:35 -07:00
Rick Winfrey
e621816358 Define console.log builtin for JavaScript 2018-07-06 10:34:52 -07:00
Rick Winfrey
970431306a Add defineNamespace helper 2018-07-06 10:34:24 -07:00
joshvera
5ffad911e5 No need for the fieldNumber 2018-07-06 13:27:45 -04:00
joshvera
0dcdfc900e ++grpc-haskell 2018-07-06 13:20:10 -04:00
joshvera
911143f618 ++grpc-haskell 2018-07-06 13:15:57 -04:00
joshvera
8e4cbb73b4 Reset the field number when passing it down to children of a sum type 2018-07-06 13:12:12 -04:00
Rob Rix
f3e58ca6be Merge pull request #2020 from github/traverse-unspecialized-eval
Traverse in default eval
2018-07-06 11:16:54 -04:00
Rob Rix
c39b8532c9 Merge branch 'master' into traverse-unspecialized-eval 2018-07-06 10:48:23 -04:00
Rob Rix
daab0f421a Merge pull request #2012 from github/abstract-abstract-semantics
Abstract abstract semantics
2018-07-06 10:48:00 -04:00
Rob Rix
cc1b2f61bf Merge branch 'master' into traverse-unspecialized-eval 2018-07-06 10:33:28 -04:00
Rob Rix
c80b5ac7c5 Merge branch 'master' into abstract-abstract-semantics 2018-07-06 10:29:39 -04:00
Charlie Somerville
680d1240dd Merge pull request #2011 from github/charliesome/substitution
Implement substitution in unification
2018-07-06 14:34:07 +10:00
Charlie Somerville
fa8ad0d1bc add doc comments to occur,. prune, and substitute 2018-07-06 11:58:00 +10:00
Timothy Clem
e57a46063f Traverse in default eval 2018-07-05 14:55:23 -07:00
joshvera
03244d0ae9 Rename Relative to IsRelative 2018-07-05 17:12:17 -04:00
joshvera
c05e7e76aa Add a unit test for method roundtrips 2018-07-05 15:21:25 -04:00
joshvera
ceebdbdfc2 Namespace languages so their message definitions don't overlap 2018-07-05 15:16:05 -04:00
Rob Rix
d20f9a4d5d Corrections for higher-order effects. 2018-07-05 14:29:14 -04:00
Rob Rix
bcbc70446c Merge branch 'charliesome/substitution' into abstract-abstract-semantics 2018-07-05 14:15:01 -04:00
Rob Rix
120483c323 Use raiseHandler to obviate the need for Monad constraints. 2018-07-05 14:09:46 -04:00
Rob Rix
4ffcd89076 One last missing Effects constraint. 2018-07-05 14:08:19 -04:00
Rob Rix
3c97647d6c State is the other way around now. 2018-07-05 14:07:54 -04:00
Rob Rix
086c417dff Add a couple of Effects constraints. 2018-07-05 14:07:41 -04:00
Rob Rix
6ef1e5f7c8 Alphabetize the contexts. 2018-07-05 14:05:17 -04:00
Rob Rix
e70d14bb52 Merge branch 'master' into charliesome/substitution 2018-07-05 14:05:01 -04:00
Rob Rix
e2b117cecd Merge pull request #2013 from github/bracketing-environments
Bracketing environments
2018-07-05 11:47:20 -04:00
Rob Rix
05f547b7d1 Merge branch 'master' into bracketing-environments 2018-07-05 11:17:42 -04:00
Rob Rix
e3e3514949 Merge pull request #1956 from github/higher-order-effects
Higher-order effects
2018-07-05 11:16:34 -04:00
Rob Rix
b883f6a5e1 Merge branch 'charliesome/substitution' into abstract-abstract-semantics 2018-07-05 09:39:50 -04:00
Charlie Somerville
b819ff8a3b add separate InfiniteType constructor to TypeError 2018-07-05 22:56:48 +10:00
Charlie Somerville
fa00126ab6 prune type before case matching in occur 2018-07-05 22:41:15 +10:00
Charlie Somerville
9a227edcdc rename exist to occur 2018-07-05 22:40:49 +10:00
Rob Rix
bd43be37eb Merge branch 'charliesome/substitution' into abstract-abstract-semantics 2018-07-04 12:21:20 -04:00
Rob Rix
b046630c43 Fix the type of the handler. 2018-07-04 12:20:51 -04:00
Rob Rix
a96667a02d 🔥 some scoped type variables. 2018-07-04 12:12:46 -04:00
Rob Rix
043c8a18d9 Replace Push/Pop with a single higher-order action. 2018-07-04 12:12:23 -04:00
Rob Rix
4f345c7603 Fix up the return type of runTypesWith. 2018-07-04 12:02:25 -04:00
Rob Rix
95cbf207e8 🔥 Evaluating. 2018-07-04 11:38:57 -04:00
Rob Rix
174f1b9acc Evaluate the traversable container in parallel. 2018-07-04 11:35:39 -04:00
Rob Rix
7b262ac381 Define runTypesWith. 2018-07-04 11:30:33 -04:00
Rob Rix
b8eefb3db1 Restore runTypeErrorWith. 2018-07-04 11:28:53 -04:00
Rob Rix
474fb302e8 Bump effects for a fix to eavesdrop. 2018-07-04 11:23:38 -04:00
Rob Rix
f6f4eed29d Correct Semantic.Graph. 2018-07-04 11:02:08 -04:00
Rob Rix
cf8274a6c7 Correct Semantic.Parse. 2018-07-04 10:57:19 -04:00
Rob Rix
fc309ae7e6 Lift IO. 2018-07-04 10:54:14 -04:00
Rob Rix
ea9b24a903 State is the other way around now. 2018-07-04 10:53:46 -04:00