github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-07 07:58:12 +03:00
Code Issues Projects Releases Wiki Activity
23,427 Commits 19 Branches 16 Tags 46 MiB
1cafaab9dd
Commit Graph

23427 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
df1e39bc25 Add push/pop constructors. 2018-05-29 20:40:41 -04:00
Rob Rix
39d2a568de Use bind wherever we’re inserting names manually. 2018-05-29 18:48:45 -04:00
Rob Rix
cebcfab528 Define a smart constructor to bind names to addresses. 2018-05-29 18:47:32 -04:00
Rob Rix
6b4d7db192 Add a constructor to bind names. 2018-05-29 18:43:10 -04:00
Rob Rix
a1d05dcd3d Rename Env.bind to Env.intersect. 2018-05-29 18:41:07 -04:00
Rob Rix
6f89e25628 🔥 localize. 2018-05-29 17:34:26 -04:00
Rob Rix
71dba01c1d Don’t use localize. 2018-05-29 17:34:12 -04:00
Rob Rix
d2e9974a0c 🔥 withDefaultEnvironment. 2018-05-29 17:31:56 -04:00
Rob Rix
78c32db271 Close over the default environment. 2018-05-29 17:31:12 -04:00
Rob Rix
2f16ed9585 defaultEnvironment is implementation detail. 2018-05-29 17:28:02 -04:00
Timothy Clem
2d08451d87 Call [] Statements 2018-05-29 14:25:31 -07:00
Rob Rix
35a305fa76 🔥 fullEnvironment. 2018-05-29 17:25:00 -04:00
Rob Rix
aad72ca048 Missed a couple. 2018-05-29 17:23:17 -04:00
Rob Rix
9b88dcbaf7 Don’t use Address in the data, only in the effects. 2018-05-29 17:16:17 -04:00
Charlie Somerville
b72b442e0c WIP Merge branch 'master' into charliesome/value-ref-address 2018-05-29 16:06:45 -05:00
Rob Rix
576dba9b0c Use Env effects in Heap. 2018-05-29 17:04:24 -04:00
Rob Rix
afc99742c6 lookupEnv is an Env request. 2018-05-29 17:03:22 -04:00
Rob Rix
6535eebf0a Add a reinterpreting handler for Env. 2018-05-29 17:02:55 -04:00
Rob Rix
0d226bb72d Add a handler for Env. 2018-05-29 17:02:42 -04:00
Rob Rix
8eca025beb Stub in an Env effect. 2018-05-29 17:01:50 -04:00
Timothy Clem
d47a06d47f 🔥 IdentifierName 2018-05-29 13:49:55 -07:00
Timothy Clem
86bc2da6ce Whoops, need to drop this 2018-05-29 13:49:46 -07:00
Timothy Clem
dc18598e12 Don't need this 2018-05-29 13:43:39 -07:00
Timothy Clem
a9f132a106 No need for identifierLabel now 2018-05-29 13:43:39 -07:00
Timothy Clem
6acb7ffa21 Give our List constructors a real name in output 2018-05-29 13:43:19 -07:00
Timothy Clem
bda6dd29d6 Call it term instead of category 2018-05-29 13:43:19 -07:00
Timothy Clem
d843846177 Call the top node "tree" 2018-05-29 13:43:19 -07:00
Timothy Clem
eef8d34d43 Need a few toJSON instances here 2018-05-29 13:43:19 -07:00
Timothy Clem
9a8c117515 Custom ToJSON for Identifier 2018-05-29 13:41:39 -07:00
Timothy Clem
dbc70de404 Custom ToJSON for Name 2018-05-29 13:41:39 -07:00
Timothy Clem
6796f13efe First pass at Generic toJSONFields1 2018-05-29 13:41:39 -07:00
Timothy Clem
3ea4695a32 Merge pull request #1895 from github/🔥-galign 
🔥 GAlign
 2018-05-29 13:41:24 -07:00
joshvera
d2ca8c7f29 Add field name to Boolean 2018-05-29 16:32:53 -04:00
joshvera
e190a66b02 import semantic-types in semantic.proto 2018-05-29 16:30:56 -04:00
joshvera
634af7e886 ++proto3-suite 2018-05-29 15:13:57 -04:00
joshvera
79b1c8e1a6 Add a Named instance for Term 2018-05-29 15:12:25 -04:00
joshvera
e6ad8fc439 Add Message1 instances for JSON types 2018-05-29 15:12:16 -04:00
joshvera
e7f017b5b5 Remove old definitions of Identity and Product 2018-05-29 14:28:15 -04:00
joshvera
dec43883ab Update Data.Term instance for dotProto 2018-05-29 14:27:29 -04:00
Rob Rix
68504ebaf3 Merge branch 'master' into 🔥-galign 2018-05-29 14:25:01 -04:00
Rob Rix
373a89b401 Merge pull request #1896 from github/recursive-type-families-are-not-our-friends 
Recursive type families are not our friends
 2018-05-29 14:24:41 -04:00
Rob Rix
8a147f1d56 Weaken the constraints on beforeTerm/afterTerm to Foldable. 2018-05-29 12:52:00 -04:00
Rob Rix
8fc1ccaa19 Merge branch 'recursive-type-families-are-not-our-friends' into 🔥-galign 2018-05-29 12:49:29 -04:00
Rob Rix
dda2f9897b Merge branch 'master' into 🔥-galign 2018-05-29 12:48:34 -04:00
Charlie Somerville
e0b4be74a9 Merge branch 'master' into charliesome/value-ref-address 2018-05-29 11:38:09 -05:00
Rob Rix
8cd97726f2 Merge branch 'master' into recursive-type-families-are-not-our-friends 2018-05-29 12:36:32 -04:00
Rob Rix
ed7060219d Merge pull request #1893 from github/closures-without-higher-order-effects 
Closures without higher order effects
 2018-05-29 12:35:51 -04:00
Rob Rix
81032f34ec Whoops. 2018-05-29 12:26:36 -04:00
Rob Rix
44da174cf9 🔥 a couple more uses of Members. 2018-05-29 12:14:46 -04:00
Rob Rix
d869fa4ec8 🔥 some redundant constraints. 2018-05-29 12:14:19 -04:00