github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity
22,398 Commits 19 Branches 16 Tags 46 MiB
6ec225948b
Commit Graph

22398 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Rob Rix
baa3e535ae Specialize lookup' to Eval. 2018-05-24 09:48:55 -04:00
Rob Rix
5609ea996d Specialize all the lambda stuff to Eval. 2018-05-24 09:47:52 -04:00
Rob Rix
15835e5b7c Add a value parameter to Eval. 2018-05-24 09:46:32 -04:00
Rob Rix
98a8f6050a Merge branch 'master' into decompose-values 2018-05-24 09:30:48 -04:00
Rob Rix
ec3aa1f05d Merge pull request #1880 from github/pretty,-pretty-colours 
Pretty, pretty colours
 2018-05-24 09:30:20 -04:00
Rob Rix
65ef9c2304 Assign variables in a zip. 2018-05-24 09:23:25 -04:00
Rob Rix
eeb604569d Merge branch 'master' into decompose-values 2018-05-24 09:11:19 -04:00
Rob Rix
8911ea7393 Pass a FormatStyle to runSerialize. 2018-05-24 09:02:55 -04:00
Rob Rix
8fb48d29a5 Add a FormatStyle datatype. 2018-05-24 08:59:53 -04:00
Rob Rix
ab3b353a0d Stub in a module for the Options. 2018-05-24 08:49:30 -04:00
Rob Rix
87b31ff772 Merge branch 'master' into pretty,-pretty-colours 2018-05-24 08:45:13 -04:00
Rob Rix
3818e06ab6 Add an opaque parameter to Eval. 2018-05-23 19:09:08 -04:00
Rick Winfrey
0c8c544cdd Merge pull request #1882 from github/bump-haskell-tree-sitter 
Bump haskell-tree-sitter and add minimal Haskell assignment boilerplate
 2018-05-23 15:13:00 -07:00
Rob Rix
98523e4aac Swap Function’s parameters. 2018-05-23 17:34:23 -04:00
Rob Rix
e17be092ec Swap Value’s parameters. 2018-05-23 17:33:18 -04:00
Rob Rix
56742b494a Parameterize Value by the list of effects. 2018-05-23 17:32:33 -04:00
Rick Winfrey
34d4b3d154 Update Haskell.Syntax.Module to take single term for module body 2018-05-23 14:30:05 -07:00
Rob Rix
8f15f7155d 🔥 builtinId/builtinConst. 2018-05-23 17:29:49 -04:00
Rob Rix
41a1010aeb Redefine Embed as a type synonym. 2018-05-23 17:08:00 -04:00
Rob Rix
e8406b6502 Bump effects for shuffle. 2018-05-23 16:48:11 -04:00
Rob Rix
2431d42675 Stub in a function to shuffle an effect to the head of the list. 2018-05-23 16:31:32 -04:00
Rob Rix
f2000de54b 🔥 some more redundancies. 2018-05-23 16:28:39 -04:00
Rob Rix
204b6dd1f4 🔥 a redundant constraint. 2018-05-23 16:25:40 -04:00
Rob Rix
3726735dfc Define an Embed newtype. 2018-05-23 16:25:13 -04:00
Rob Rix
1de3eaf9dc Rename Embed to EmbedAny. 2018-05-23 16:24:56 -04:00
Josh Vera
242ea3e41f Merge branch 'master' into pretty,-pretty-colours 2018-05-23 16:13:28 -04:00
Rick Winfrey
bd3001a359 Merge branch 'master' into bump-haskell-tree-sitter 2018-05-23 13:10:41 -07:00
Rob Rix
145ce59a54 Parameterize Function by the effects list. 2018-05-23 16:02:14 -04:00
Rob Rix
7da70e5983 Define a helper to embed an effectful action. 2018-05-23 15:55:16 -04:00
Rob Rix
d0a4b9d696 Define a handler for programs in Type. 2018-05-23 15:47:05 -04:00
Rob Rix
ccf00d4239 Define a handler for the heap for types. 2018-05-23 15:45:18 -04:00
Rob Rix
6252a56e8e Define a handler for the env. 2018-05-23 15:45:10 -04:00
Rob Rix
66caefcd58 Derive an Alternative instance for Eval. 2018-05-23 15:44:54 -04:00