github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 05:41:54 +03:00
Code Issues Projects Releases Wiki Activity
25,490 Commits 19 Branches 16 Tags 46 MiB
1eac23ce2e
Commit Graph

17110 Commits

Author SHA1 Message Date
Timothy Clem
9de1897694 WIP - basic translating in machines 2018-08-17 11:43:32 -07:00
Ayman Nadeem
84f4ed4cfe get rid of unnecessary import 2018-08-17 13:08:29 -04:00
Ayman Nadeem
52f07dce3a Merge branch 'master' into evaluatable-instances 2018-08-17 13:08:03 -04:00
Timothy Clem
b49adc41fe Move splice to data, allow config for translation 2018-08-17 09:10:14 -07:00
Timothy Clem
5165d28090 Amazingly it complies! and still prettyprints 2018-08-16 17:05:57 -07:00
Timothy Clem
0cd96954d9 Clean up need for splice 2018-08-16 16:57:09 -07:00
Timothy Clem
f674e2dad1 WIP - translation with Eff interface 2018-08-16 16:51:07 -07:00
Ayman Nadeem
0e8bb70dfd Merge remote-tracking branch 'origin/master' into evaluatable-instances 2018-08-16 14:46:59 -04:00
Timothy Clem
d5ac03c4a8 Comment out logging for tests 2018-08-15 14:01:44 -07:00
Timothy Clem
ec4d75ced3 Remove extra import and un-needed Language ext 2018-08-15 14:01:35 -07:00
Ayman Nadeem
dd6141908c add super 2018-08-15 16:52:34 -04:00
Ayman Nadeem
a73916ecaa add instances for unsignedRShift for abstract, type-checking and concrete semantics 2018-08-15 15:40:25 -04:00
Ayman Nadeem
d932f069de evaluate unsignedRShift 2018-08-15 13:57:49 -04:00
Rob Rix
358b8cc564 Replace UtilEff with ConcreteEff. 2018-08-15 11:55:45 -04:00
Rob Rix
ff31962bd7 Infer the presence of the graph effect. 2018-08-15 11:54:52 -04:00
Rob Rix
ed3189d828 Reformat a couple of signatures. 2018-08-15 11:54:14 -04:00
Rob Rix
c4e94f0d80 🔥 some redundant quantifiers. 2018-08-15 11:53:43 -04:00
Rob Rix
9af75f3f85 Infer the remaining effects. 2018-08-15 11:53:15 -04:00
Rob Rix
30627fa518 Move the graph state outside the heap state. 2018-08-15 11:52:48 -04:00
Rob Rix
4d08e47cf0 Move the Reader effects to the head of UtilEff. 2018-08-15 11:49:21 -04:00
Rob Rix
bb021d404a Use the ModuleEffects synonym in UtilEff. 2018-08-15 11:47:43 -04:00
Rob Rix
6e71a76402 Use the ValueEffects synonym in UtilEff. 2018-08-15 11:47:15 -04:00
Rob Rix
e340bfefe1 Factor a list of effects out of ConcreteEff. 2018-08-15 11:46:22 -04:00
Rob Rix
7f423daec4 Rename ImportGraphEff to ConcreteEff. 2018-08-15 11:40:30 -04:00
Rob Rix
93d79dfd30 Use ModuleEffects in ImportGraphEff. 2018-08-15 11:33:30 -04:00
Rob Rix
c04fc7d048 Use ValueEffects in ImportGraphEff. 2018-08-15 11:32:57 -04:00
Rob Rix
263b068984 Define a synonym for the value effects. 2018-08-15 11:32:05 -04:00
Rob Rix
d74812dbd2 Define a synonym for the module-level effects. 2018-08-15 11:31:08 -04:00
Ayman Nadeem
d6ccb36515 lol just kidding complement is fine 2018-08-15 11:24:49 -04:00
Rob Rix
224a4e206f Merge branch 'master' into fix-abstract-semantics 2018-08-15 09:48:08 -04:00
Ayman Nadeem
79ede5aaf4 this is wrong, but I'm trying to add an evaluatable instance for complement 2018-08-14 20:39:19 -04:00
Ayman Nadeem
0d6b5ea0f1 shift right 2018-08-14 20:15:43 -04:00
Timothy Clem
f0172cdc2d No record fields here 2018-08-14 14:18:48 -07:00
Timothy Clem
429026e97e No need to emit Control Strategy tokens, strategy in Reader 2018-08-14 14:16:52 -07:00
Timothy Clem
a15c74e674 Util re-org 2018-08-14 14:16:13 -07:00
Timothy Clem
a1aaa9afa9 Remove need to re-write and ensure History 2018-08-14 14:16:03 -07:00
Timothy Clem
f1db15e31a Use projectTerm 2018-08-14 14:15:24 -07:00
Timothy Clem
cd65c8814a Some common matchers 2018-08-14 14:15:18 -07:00
Ayman Nadeem
c8c38a976a LShift 2018-08-14 17:08:37 -04:00
Ayman Nadeem
9380f0484d xor 2018-08-14 15:58:06 -04:00
Rob Rix
b57bacb302 Flatten out the sets in the Heap Show instance. 2018-08-14 14:42:26 -04:00
Rob Rix
788afa5a96 Define a specialized Show instance for Bindings. 2018-08-14 14:41:33 -04:00
Ayman Nadeem
5a40151393 evaluate bitwise and 2018-08-14 14:24:22 -04:00
Ayman Nadeem
a2dd8f131c evaluate bitwise or 2018-08-14 14:20:49 -04:00
Ayman Nadeem
ee4f78b586 synchronously handle async await 2018-08-14 13:38:30 -04:00
Timothy Clem
487c78b854 Merge remote-tracking branch 'origin/master' into source-aware-reprinter 2018-08-13 15:56:26 -07:00
Timothy Clem
eca6878d3a A few typesetting fixes 2018-08-13 15:42:52 -07:00
Timothy Clem
7f056f533a New take on tokenizing, closer to original SYR algorithm 2018-08-13 15:42:04 -07:00
joshvera
75365e9caa Merge remote-tracking branch 'origin/master' into interactive-debugger 2018-08-13 16:40:27 -04:00
Rick Winfrey
27c2ebd519 Merge branch 'master' into update-haskell-tree-sitter 2018-08-13 13:01:07 -07:00
Ayman Nadeem
bb71c4543d add evaluatable instance for await 2018-08-13 15:18:54 -04:00
Rick Winfrey
62fb9635e0 Merge branch 'master' into update-haskell-tree-sitter 2018-08-13 11:36:10 -07:00
Rick Winfrey
13dbf02cb6 Reduce layering of terms for ParameterList 2018-08-13 11:26:09 -07:00
Rob Rix
08a29fdf92 Merge branch 'master' into parameterize-evaluate-with-deref-and-allocator-handlers 2018-08-13 13:33:36 -04:00
Rob Rix
f0c5c8222b Stop the doctests from freaking out. 2018-08-13 10:30:58 -04:00
Rob Rix
d825ceda56 🔥 the address parameter to Deref. 2018-08-13 09:57:18 -04:00
Rob Rix
9c9fa333d6 🔥 Allocatable & Derefable. 2018-08-13 09:46:46 -04:00
Rob Rix
c5234c0d62 🔥 the instances of Allocatable and Derefable. 2018-08-13 09:44:40 -04:00
Rob Rix
51036dcada 🔥 the unspecialized handlers for Allocator and Deref. 2018-08-13 09:43:52 -04:00
Rob Rix
a438930c91 Use the specialized handlers for Allocator and Precise. 2018-08-13 09:43:37 -04:00
Rob Rix
8cd4d8808f Move Hole into its own module. 2018-08-13 09:37:39 -04:00
Rob Rix
16964350b0 Stub in a module for the Hole address type. 2018-08-13 09:35:37 -04:00
Rob Rix
669834ad88 Define an extracted, Hole-specific handler for Deref. 2018-08-13 09:33:47 -04:00
Rob Rix
e6c1801dc3 Define an extracted, Hole-specific handler for Allocator. 2018-08-13 09:31:56 -04:00
Rob Rix
339eb4df87 We aren’t using LambdaCase here any more. 2018-08-13 09:29:37 -04:00
Rob Rix
fe1b62bb96 Extract the Monovariant-specific handler for Deref. 2018-08-13 09:29:13 -04:00
Rob Rix
15c9e285b8 Extract the Monovariant-specific handler for Allocator. 2018-08-13 09:28:05 -04:00
Rob Rix
de3493c1cc Extract the Located-specific handler for Deref. 2018-08-13 09:26:27 -04:00
Rob Rix
9f2e022db2 Extract the Located-specific handler for Allocator. 2018-08-13 09:23:23 -04:00
Rob Rix
a2e88845f3 Define a Located-specific handler for Deref. 2018-08-13 09:21:30 -04:00
Rob Rix
137aabc77a Extract the Precise-specific handler for Deref. 2018-08-13 09:17:47 -04:00
Rob Rix
3902cbfd2d Extract the Precise-specific handler for Allocator. 2018-08-13 09:16:14 -04:00
Rob Rix
6506aeef36 Define a Located-specific handler for Allocator. 2018-08-13 09:15:31 -04:00
Rob Rix
ee345d499b Define Monovariant-specific handlers for Allocator & Deref. 2018-08-13 09:14:36 -04:00
Rob Rix
b014daa5dd Define Precise-specific handlers for Allocator & Deref. 2018-08-13 09:12:57 -04:00
Rick Winfrey
3b5ab7eae6 Newtype 2018-08-10 14:41:52 -07:00
Ayman Nadeem
054f5b4b36 fix heapDelete type signature 2018-08-10 17:41:46 -04:00
Rick Winfrey
7057ae128f Lints 2018-08-10 14:28:46 -07:00
Rick Winfrey
78400992b2 Merge branch 'update-haskell-tree-sitter' of https://github.com/github/semantic into update-haskell-tree-sitter 2018-08-10 14:15:38 -07:00
Rick Winfrey
fce34cd17d Update abstractClass 2018-08-10 14:10:14 -07:00
Rick Winfrey
8f0b275fab Update lookupType 2018-08-10 14:08:00 -07:00
Rick Winfrey
9bba993b4d Update indexTypeQuery to now take typeIdentifier 2018-08-10 14:02:19 -07:00
Rick Winfrey
64f052eea8 Readability 2018-08-10 14:02:06 -07:00
Rob Rix
9def42948e Pull gc back out of the Allocator effect. 2018-08-10 17:00:57 -04:00
Rick Winfrey
f272d604ca Alignment 2018-08-10 13:58:22 -07:00
Rick Winfrey
5b3606a1e0 Reflow 🔤 2018-08-10 13:58:13 -07:00
Ayman Nadeem
2906e39b71 remove redundant brackets 2018-08-10 16:57:53 -04:00
Ayman Nadeem
0a10f79f36 Merge branch 'master' into eval-instances 2018-08-10 16:46:51 -04:00
Rick Winfrey
5a8cf8dc67 Simplify 2018-08-10 13:32:23 -07:00
Rob Rix
6140256b56 Pass the Allocator/Deref handler into evaluate. 2018-08-10 16:05:12 -04:00
Timothy Clem
9ba005bbcc Quote the key 2018-08-10 13:01:13 -07:00
Timothy Clem
aacc1463cd Proper opening Associative for JSON 2018-08-10 13:00:56 -07:00
Rob Rix
9afa2e5f4e Rephrase Deref to closely mirror the Derefable class. 2018-08-10 15:55:29 -04:00
Rob Rix
e99215de9c Sort the Fresh effect up. 2018-08-10 15:54:53 -04:00
Rob Rix
4fb4419b92 Re-export AddressError. 2018-08-10 15:54:39 -04:00
Rick Winfrey
55eeddebe0 Provide more flexibility in Go method declaration (support mutliple receivers) 
Although this is technically invalid Go, tree-sitter-go produces a valid parse tree. Previously we threw an error.
 2018-08-10 12:53:11 -07:00
Rick Winfrey
d8d818c5c9 Fix Go method declaration assignment 
It's not necessarily the case that a block will be present even though a return type can be specified in a method declaration.
 2018-08-10 12:46:53 -07:00
Rick Winfrey
ca5d2e0fa6 Assign interpreted string literals and raw string literals within Go import spec 2018-08-10 12:45:15 -07:00
Timothy Clem
02e88ff37b Carry around origin term when we match to get back proper ann 
Also removes need for spurious Monoid instance
 2018-08-10 12:39:59 -07:00
Rob Rix
904d2ff9df Compact the Allocator constructors a little. 2018-08-10 15:33:00 -04:00
Rob Rix
f0d216da2c 🔥 the value parameter from Allocator. 2018-08-10 15:32:10 -04:00
Rob Rix
1ed211f676 Move assign into Deref. 2018-08-10 15:28:34 -04:00
Rob Rix
b5f8b0ae92 Move the Allocatable/Derefable instances into the address modules. 2018-08-10 15:18:58 -04:00
joshvera
2732f17719 Merge remote-tracking branch 'origin/master' into interactive-debugger 2018-08-10 14:20:16 -04:00
joshvera
4cd4867008 Lint and move semantic:lint before semantic:test 2018-08-10 13:47:38 -04:00
Rick Winfrey
0f1f450ce1 Merge branch 'update-haskell-tree-sitter' of https://github.com/github/semantic into update-haskell-tree-sitter 2018-08-10 10:46:46 -07:00
Rob Rix
d05f3c6ae3 🔥 Data.Abstract.Address. 2018-08-10 13:46:24 -04:00
Rob Rix
b93c15370e Move the address types into their own modules. 2018-08-10 13:44:04 -04:00
Rob Rix
53a9ca30aa Add modules for the address types. 2018-08-10 13:31:55 -04:00
joshvera
34693f0712 Add escape sequences to go 2018-08-10 13:31:37 -04:00
Rick Winfrey
bdc0daa7ba Assign FutureImportStatements 2018-08-10 10:10:40 -07:00
Rick Winfrey
2adbbdec2b Add FutureImport constructor 2018-08-10 10:10:30 -07:00
Rick Winfrey
06cf6a3d60 🔤 2018-08-10 10:10:19 -07:00
joshvera
fbd464e400 Add escape sequences to ruby 2018-08-10 12:28:53 -04:00
Josh Vera
6566b05d4c Merge branch 'master' into update-haskell-tree-sitter 2018-08-10 11:45:01 -04:00
Josh Vera
989498ac89 Merge branch 'master' into unlint 2018-08-10 11:30:47 -04:00
Rob Rix
6de89a8351 Merge branch 'master' into entry-points 2018-08-10 11:28:00 -04:00
joshvera
a70cad8f86 eta reduce 2018-08-10 11:23:45 -04:00
Rob Rix
51cbd6437f 🔥 unused language extensions. 2018-08-10 10:24:40 -04:00
Rick Winfrey
e844fb8c2f Update TypeScript Assignment 2018-08-09 18:41:15 -07:00
Timothy Clem
d60c956c3b Fix name 2018-08-09 16:29:38 -07:00
Timothy Clem
a1d77c8943 TODO: Need to sort out if we need these Monoid instances 
... and what they should be...
 2018-08-09 16:27:46 -07:00
Timothy Clem
82c9f786fb Bunch of messing around in Util 2018-08-09 16:23:48 -07:00
Timothy Clem
031d19070e runT1 and try source instead of supply 2018-08-09 16:22:59 -07:00
Ayman Nadeem
a3c36b89ef add evaluatable instance and test for delete 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-08-09 17:55:59 -04:00
Ayman Nadeem
49072fc399 add evaluatable instance for void 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-08-09 16:24:44 -04:00
Rob Rix
c17794bddc 🔥 some unused language extensions. 2018-08-09 15:50:52 -04:00
Rob Rix
89b424e75b 🔥 Addressable. 2018-08-09 15:49:54 -04:00
Rob Rix
d30cdcfd6a 🔥 Latest & All. 2018-08-09 15:41:51 -04:00
Rob Rix
0def4afbab Specialize Heap to Set. 2018-08-09 15:40:42 -04:00
Rob Rix
c6bd54769a 🔥 the cell parameter to Cache, Cached, and Cacheable. 2018-08-09 15:35:47 -04:00
Rob Rix
256e3786f2 🔥 the cell parameter to Configuration. 2018-08-09 15:33:27 -04:00
Rob Rix
c1254d54b8 🔥 Cell. 2018-08-09 15:30:50 -04:00
Rob Rix
c4aac9c9be Assign using assignCell. 2018-08-09 15:23:18 -04:00
Ayman Nadeem
6aa043482d add eval instance for sequence expression 2018-08-09 15:18:23 -04:00
Rob Rix
ad67e7af23 Move assignCell into Allocatable. 2018-08-09 15:18:13 -04:00
joshvera
0f30df4966 Remove docs 2018-08-09 15:16:29 -04:00
Rob Rix
9b10c6499a Add an assignCell method to Derefable. 2018-08-09 15:12:22 -04:00
Timothy Clem
d65f7213c1 Refine toAlgebra 2018-08-09 10:14:03 -07:00
Ayman Nadeem
e833ad4fef add eval instance for sequence expression 2018-08-09 12:59:29 -04:00
Ayman Nadeem
9b3c3d279f Remove Variable 2018-08-09 12:07:37 -04:00
Patrick Thomson
e08a4f731d WIP changes 2018-08-08 16:41:48 -04:00
joshvera
2a0e00e1b0 Include constraints 2018-08-08 16:29:49 -04:00
Josh Vera
44ac28510c Merge branch 'master' into entry-points 2018-08-08 16:17:08 -04:00
joshvera
414c92ad72 lints 2018-08-08 15:54:01 -04:00
joshvera
1fc75519fe Remove import 2018-08-08 14:13:18 -04:00
joshvera
c7495906ff Return strat from parsePythonPackage 
And use it to sort package modules breadth first.
 2018-08-08 14:03:23 -04:00
Rick Winfrey
317d4a3849 Merge branch 'master' into error-context 2018-08-08 10:33:41 -07:00
Rick Winfrey
4b02dc5b71 Re-export BaseError 2018-08-08 10:31:46 -07:00
Rick Winfrey
f2a6419d99 🔥 AllowAmbiguousTypes no longer needed 2018-08-08 10:31:34 -07:00
joshvera
7a238e03a3 Implement asArray 2018-08-08 13:17:58 -04:00
joshvera
11e4ff9ee6 Pass super to call and move asStrings out of case analysis 2018-08-08 13:09:06 -04:00
joshvera
e7de0d10e9 Merge remote-tracking branch 'origin/master' into entry-points 2018-08-08 12:54:41 -04:00
Rob Rix
f6096c6248 Merge branch 'master' into interactive-debugger 2018-08-08 09:44:53 -04:00
Rob Rix
c4df180f62 Merge branch 'master' into fix413s 2018-08-08 09:44:17 -04:00
Rob Rix
dbb92c2417 Merge branch 'master' into evaluate-ruby 2018-08-08 09:26:23 -04:00
Rob Rix
3dc6e13d7e Merge branch 'master' into fix413s 2018-08-08 09:26:07 -04:00
Charlie Somerville
e92846c518 expand Ctx to EvalContext in get, put, and with function names 2018-08-08 13:08:54 +10:00
Rick Winfrey
383b6208ee Rename ErrorContext -> BaseError 2018-08-07 16:50:55 -07:00
Rick Winfrey
0ea2596d93 Use new throwBaseError helper 2018-08-07 16:45:35 -07:00
Rick Winfrey
f1ad72e4fc No longer needed 2018-08-07 16:44:42 -07:00
Rick Winfrey
fdd6ea9344 Define new Show instance for BaseError 2018-08-07 16:44:12 -07:00
Rick Winfrey
2468123252 Required for throwBaseError 2018-08-07 16:43:59 -07:00
Rick Winfrey
871a07d4b7 Update Show1 and Eq1 instances 2018-08-07 16:43:45 -07:00
Rick Winfrey
b58500ab1d 🔥 ErrorContext && enhance BaseError 2018-08-07 16:43:09 -07:00
Rick Winfrey
edbc7820e4 Define throwBaseError 2018-08-07 16:42:28 -07:00
Patrick Thomson
4226d2bffe Finish documenting Control.Rule. 2018-08-07 18:24:42 -04:00
Patrick Thomson
aed9d74b0f An Arrow instance for Rule. 2018-08-07 18:13:59 -04:00
Timothy Clem
2c54b8925d Filter out path here as well 2018-08-07 14:50:28 -07:00
Timothy Clem
9df7c82bb1 Merge branch 'master' into fix413s 2018-08-07 14:49:59 -07:00
Patrick Thomson
df3d988004 fun experiments with tclean w/r/t building a rule pipeline 2018-08-07 16:39:04 -04:00
joshvera
9f7007750d hints 2018-08-07 15:06:39 -04:00
joshvera
1f223ba212 Cleanup imports 2018-08-07 14:48:59 -04:00
joshvera
7226809715 Sort blobs by directory when package strategy is unknown 2018-08-07 14:47:26 -04:00
joshvera
08aa7ef22d Fix packageState logic 2018-08-07 14:47:06 -04:00
Patrick Thomson
af07c8f790 experiments with Rule + Eff 2018-08-07 14:37:03 -04:00
joshvera
01acebef9a Return a single package for a repo 2018-08-07 14:28:53 -04:00
joshvera
217b854738 Add asArray back 2018-08-07 14:28:39 -04:00
joshvera
b6796614da Add Name to Closure 2018-08-07 14:28:20 -04:00
Patrick Thomson
805cea9000 a 'contextually' node exists 2018-08-07 14:09:50 -04:00
Rick Winfrey
599da68e5c One line 2018-08-07 10:56:42 -07:00
Rick Winfrey
cbef37f751 Redefine throwLoadError to wrap the name of a module not found as part of the error context 2018-08-07 10:48:25 -07:00
Rick Winfrey
2e5f06751f 🔥 Lower instance for ModuleInfo 2018-08-07 10:47:42 -07:00
Rick Winfrey
fa59e5b525 Redefine Show1 instance for BaseError 2018-08-07 10:47:26 -07:00
Rick Winfrey
eac145618f 🔥 ErrorContext Lower instance 
Since we aren't going to keep a Lower instance for `ModuleInfo`, this instance is no longer sensible.
 2018-08-07 10:47:07 -07:00
Rick Winfrey
6c5a4bdfa1 Merge branch 'master' into error-context 2018-08-07 09:53:00 -07:00
Rob Rix
86c97ccc27 Merge branch 'master' into evaluate-ruby 2018-08-07 10:35:02 -04:00
Rob Rix
cd654ade6c Merge branch 'master' into charliesome/context 2018-08-07 09:36:57 -04:00
Rob Rix
7a0cb41c4c Import Quieterm. 2018-08-07 09:35:03 -04:00
Rob Rix
3c976b3c7f Merge branch 'master' into interactive-debugger 2018-08-07 09:33:53 -04:00
Rob Rix
cdfef7a083 Merge branch 'master' into error-context 2018-08-07 09:26:12 -04:00
Rob Rix
98a848d3ad Inline the lambda' cases. 2018-08-07 09:18:43 -04:00
Rob Rix
9b95841a2d Merge branch 'master' into polyadic-lambda 2018-08-07 09:03:47 -04:00
Charlie Somerville
b327ffcfb9 remove lookupOrAlloc calls outside Control.Abstract.Heap 2018-08-07 10:25:47 +10:00
Timothy Clem
25724b72f0 Don't log paths in production 2018-08-06 16:37:11 -07:00
joshvera
967803aae3 Merge remote-tracking branch 'origin/master' into entry-points 2018-08-06 18:57:18 -04:00
Rick Winfrey
dc98e5ef9d Reflow 2018-08-06 15:29:15 -07:00
Rick Winfrey
10c99d3549 Reflow 2018-08-06 15:14:15 -07:00
Rick Winfrey
7c7749e150 Use ErrorContext's Lower instance 2018-08-06 15:13:01 -07:00
Rick Winfrey
5ecb611d48 Wrap LoadError in BaseError 2018-08-06 15:05:58 -07:00