1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00
Commit Graph

300 Commits

Author SHA1 Message Date
Rob Rix
77cb532ae4
Annotate prog5 deeply. 2019-07-22 11:57:11 -04:00
Rob Rix
9ffd3f87e5
Annotate the entire prelude, not just the composition with ann. 2019-07-22 11:51:06 -04:00
Rob Rix
1abddf42b3
Annotate each binding. 2019-07-22 11:50:42 -04:00
Rob Rix
958d32fb52
Follow edges through the graph. 2019-07-22 11:43:28 -04:00
Rob Rix
9b6f7dd148
Obj holds an Env, not a Frame. 2019-07-22 11:32:58 -04:00
Rob Rix
384c221ef6
🔥 frameEdges. 2019-07-22 11:31:47 -04:00
Rob Rix
d41d7757fe
Don’t stratify frames through the heap. 2019-07-22 11:28:38 -04:00
Rob Rix
6c5240bfba
Bind and look names up in an Env. 2019-07-22 11:23:59 -04:00
Rob Rix
fea81ee213
🔥 the frame operation. 2019-07-22 11:19:09 -04:00
Rob Rix
8bc79bd804
Define and implement a record operation. 2019-07-22 11:18:34 -04:00
Rob Rix
5f21602967
🔥 some redundant FIXMEs. 2019-07-22 11:15:44 -04:00
Rob Rix
b0bc2cf25b
Note a FIXME. 2019-07-22 11:10:33 -04:00
Rob Rix
c613b0cef2
🔥 the edge instruction. 2019-07-22 11:10:00 -04:00
Rob Rix
cd3f73afdb
bind acts locally. 2019-07-22 11:08:22 -04:00
Rob Rix
4cc6520d57
Define :. as strictly projection. 2019-07-22 11:04:25 -04:00
Rob Rix
fb318fa56c
Tidier frame-pushing. 2019-07-22 11:00:42 -04:00
Rob Rix
2c13ed8b53
Don’t build a lambda for method calls. 2019-07-22 10:44:49 -04:00
Rob Rix
d5afd8434e
Rename bind* to abstract*. 2019-07-22 10:43:17 -04:00
Rob Rix
8373e3a7bb
🔥 a redundant qualifier. 2019-07-22 10:42:36 -04:00
Rob Rix
b851621c6f
📝 Rec. 2019-07-22 10:40:17 -04:00
Rob Rix
5e8a2c27c6
Note that :>>= is sequential let. 2019-07-22 10:38:08 -04:00
Rob Rix
85c1815b9f
Look up globals in the global scope. 2019-07-22 10:32:50 -04:00
Rob Rix
c495b4bf07
🔥 Edge. 2019-07-22 10:28:41 -04:00
Rob Rix
94546f7e75
Define a helper for binding multiple local variables in a sequence. 2019-07-22 10:24:07 -04:00
Rob Rix
c9b328eff5
🔥 a bunch of redundant prefixes. 2019-07-22 10:18:17 -04:00
Rob Rix
c175bc3553
Bind the global scope recursively. 2019-07-22 10:18:02 -04:00
Rob Rix
2a5c1818d1
🔥 lam'/lams'. 2019-07-22 10:12:48 -04:00
Rob Rix
1d50aecd9e
Define prog5 using lams. 2019-07-22 10:09:26 -04:00
Rob Rix
db448e6847
🔥 Let & Frame. 2019-07-22 10:07:27 -04:00
Rob Rix
b5a0624853
🔥 redundant parens. 2019-07-22 09:42:09 -04:00
Rob Rix
f24ef8b0a4
Correct the docs for Record. 2019-07-19 15:31:47 -04:00
Rob Rix
bff499e934
📝 :.. 2019-07-19 15:31:19 -04:00
Rob Rix
ef24642f26
Give fixity & precedence for :<-. 2019-07-19 15:25:33 -04:00
Rob Rix
38efb33327
Move unseq & unseqs up under >>>. 2019-07-19 15:19:34 -04:00
Rob Rix
e809a2935b
📝 :>>=. 2019-07-19 15:06:27 -04:00
Rob Rix
6f5e578d0f
Define a smart constructor for local bindings. 2019-07-19 15:04:27 -04:00
Rob Rix
15a125ba3b
Give fixity & precedence for >>>. 2019-07-19 15:01:01 -04:00
Rob Rix
a10cdc9380
Use >>> to define Block’s Semigroup instance. 2019-07-19 15:00:39 -04:00
Rob Rix
8c06d7bf0e
Reintroduce assignment syntax. 2019-07-19 14:58:31 -04:00
Rob Rix
cbf9f431dd
Define a smart-constructor for :>>. 2019-07-19 14:44:54 -04:00
Rob Rix
79f573795d
Parse records. 2019-07-19 14:36:22 -04:00
Rob Rix
972a52dcbf
Prefix records during pretty-printing. 2019-07-19 14:32:08 -04:00
Rob Rix
3459b3b058
Parse recursive bindings. 2019-07-19 14:28:48 -04:00
Rob Rix
2606e1eff1
🔥 a redundant where clause. 2019-07-19 14:26:08 -04:00
Rob Rix
1398c995a0
Redefine records as a flat list of bindings. 2019-07-19 14:21:39 -04:00
Rob Rix
f373ca410f
Define a smart constructor for recursive bindings. 2019-07-19 14:16:41 -04:00
Rob Rix
e259bc0e91
Define a recursive binder. 2019-07-19 14:03:31 -04:00
Rob Rix
00beb2dbce
Define a smart constructor for records. 2019-07-19 12:31:00 -04:00
Rob Rix
218c8f3ba0
Define records of simultaneously-bound fields. 2019-07-19 12:18:48 -04:00
Rob Rix
83cd925263
Use Named to represent the binder. 2019-07-19 12:03:50 -04:00