github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-11 08:45:48 +03:00
Code Issues Projects Releases Wiki Activity
22,441 Commits 19 Branches 16 Tags 46 MiB
7ba832d566
Commit Graph

22441 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Patrick Thomson
7ba832d566 Fix tests. 2018-05-30 18:29:54 -04:00
Patrick Thomson
64fd3b0fcc Use Text rather than ByteString for Name values. 2018-05-30 18:16:39 -04:00
Josh Vera
3641d6d18c Merge pull request #1885 from github/ctags-protip 
Ctags protip
 2018-05-24 14:09:17 -04:00
Rob Rix
12b0f12f64 Merge branch 'master' into ctags-protip 2018-05-24 13:43:48 -04:00
Timothy Clem
5abcef5e31 Merge pull request #1874 from github/deployment-setup 
Tuning deployment setup: health checks and successfully deploy
 2018-05-24 10:35:41 -07:00
Timothy Clem
a15efb9327 Merge branch 'master' into deployment-setup 2018-05-24 10:13:25 -07:00
Rob Rix
542ae1e397 Merge branch 'master' into ctags-protip 2018-05-24 12:54:04 -04:00
joshvera
feca9a573b Ignore codex.tags files 2018-05-24 12:43:13 -04:00
Rob Rix
7c981969e8 Merge pull request #1886 from github/rearrange-value-ref-and-friends 
Rearrange ValueRef and friends
 2018-05-24 12:37:40 -04:00
Rob Rix
2ca068a484 Fix a renaming. 2018-05-24 12:30:42 -04:00
Rob Rix
127ed8a26a Merge branch 'master' into rearrange-value-ref-and-friends 2018-05-24 12:23:30 -04:00
Rob Rix
d9b13aec04 Simplify further. 2018-05-24 12:23:14 -04:00
Rob Rix
d819051bf4 Placate hlint. 2018-05-24 12:22:55 -04:00
Rob Rix
3a5d1de162 🔥 redundant hiding. 2018-05-24 12:21:45 -04:00
Josh Vera
0ea30d43aa Merge pull request #1883 from github/haskell-assignment 
Haskell assignment #1
 2018-05-24 12:18:26 -04:00
Rob Rix
5ac256e340 🔨 fix the type in the spec 2018-05-24 12:09:20 -04:00
Josh Vera
32f0bb2a8a Merge branch 'master' into haskell-assignment 2018-05-24 12:05:32 -04:00
joshvera
33d31e045f appease hlint 2018-05-24 12:04:29 -04:00
Josh Vera
38d438d540 Merge branch 'master' into deployment-setup 2018-05-24 11:52:40 -04:00
Rob Rix
3a8ee0dca2 Back out all of the effect decomposition stuff. 2018-05-24 11:26:42 -04:00
Josh Vera
73d7cfbbfc Merge branch 'master' into ctags-protip 2018-05-24 11:23:45 -04:00
Rob Rix
e141f0e6ac Swap the order of Value’s parameters. 2018-05-24 11:20:04 -04:00
Rob Rix
02a595cc36 Infer the type of runType. 2018-05-24 11:18:26 -04:00
Rob Rix
39851a602e 🔥 EmbedAny/Embed. 2018-05-24 11:17:50 -04:00
Rob Rix
98bd85f676 Parameterize Value by opaque instead of effects. 2018-05-24 11:17:08 -04:00
Rob Rix
5144f41a6e 🔥 a redundant import. 2018-05-24 11:16:59 -04:00
Rob Rix
be85a89c72 🔥 the ModuleInfo/PackageInfo stuff from the experiment. 2018-05-24 11:14:01 -04:00
Rob Rix
a346886950 Swap Function’s parameters again. 2018-05-24 11:10:48 -04:00
Rob Rix
f05de7ab1a Rename runEmbedEval to unEmbedEval. 2018-05-24 11:02:41 -04:00
Rob Rix
37f7aa8ff8 Spike out a candidate implementation of embedEval. 2018-05-24 11:02:26 -04:00
Rob Rix
3bf6074f6e Define embedEval monadically. 2018-05-24 10:51:40 -04:00
Rob Rix
871d2e8dfb Use the normal effect handling flow for runType. 2018-05-24 10:48:44 -04:00
Rob Rix
f7442219af 🔥 more redundant constraints. 2018-05-24 10:48:20 -04:00
Rob Rix
6ec225948b 🔥 a redundant constraint. 2018-05-24 10:47:31 -04:00
Rob Rix
e4c91a6d1f Interpret in runFunctionType. 2018-05-24 10:43:45 -04:00
Rob Rix
f176cd2c14 Interpret in runUnitType. 2018-05-24 10:42:49 -04:00
Rob Rix
13366d65c0 Interpret in runBooleanType. 2018-05-24 10:42:42 -04:00
Rob Rix
a9041e0002 Interpret in runVariable. 2018-05-24 10:42:26 -04:00
Rob Rix
218c283d18 Move the basic effect handlers out of runType. 2018-05-24 10:22:25 -04:00
Rob Rix
589ef3534f Move the Fresh handler into runType. 2018-05-24 10:20:34 -04:00
Rob Rix
32b39faad9 🔥 the final type parameter. 2018-05-24 10:19:22 -04:00
Rob Rix
dc5d3ecc76 Run progs. 2018-05-24 10:12:58 -04:00
Rob Rix
3dfc4ec336 Use opaque in Function. 2018-05-24 10:07:44 -04:00
Rob Rix
bf6aefc871 Stub in helpers to hide and reveal evaluators under the opaque parameter. 2018-05-24 10:07:20 -04:00
Rob Rix
228e686781 Specialize runFunctionType to use allocType/assignType. 2018-05-24 09:57:13 -04:00
Rob Rix
0a841bafea opaque is * -> *. 2018-05-24 09:54:51 -04:00
Rob Rix
8bc9178a31 Specialize the Type handlers to Eval. 2018-05-24 09:54:28 -04:00
Rob Rix
6b874d19d7 Specialize the smart constructors and handlers to Eval. 2018-05-24 09:52:01 -04:00
Rob Rix
e13dd0725d Specialize the env/heap handlers to Eval. 2018-05-24 09:50:13 -04:00
Rob Rix
70cbab7860 Specialize the heap/env stuff to Eval. 2018-05-24 09:49:50 -04:00