github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 00:44:57 +03:00
Code Issues Projects Releases Wiki Activity
27,149 Commits 19 Branches 16 Tags 46 MiB
dac3b47256
Commit Graph

5709 Commits

Author SHA1 Message Date
Rob Rix
6bb5308697 Rename the ScopeGraph field to unScopeGraph. 2018-12-05 15:35:02 -05:00
Rob Rix
d98cb05d0b Pattern-match against the constructor. 2018-12-05 15:34:20 -05:00
Rob Rix
7badac6148 Spacing. 2018-12-05 15:32:18 -05:00
Rob Rix
0daef02edc Don’t use record wildcards to unpack ScopeGraph. 2018-12-05 15:32:06 -05:00
Rob Rix
dc2b94eef2 Align { to the next line. 2018-12-05 15:26:35 -05:00
Rob Rix
6bf9f08f63 🔥 a couple of redundant do-blocks. 2018-12-05 15:24:50 -05:00
Rob Rix
3d34922fe2 Tighten up reference with <$> and <|>. 2018-12-05 15:24:10 -05:00
Rob Rix
c90e1605fd Tighten up insertImportReference using <$> and <|>. 2018-12-05 15:20:08 -05:00
Rob Rix
12ccbf8f85 Move modifyReferences down. 2018-12-05 15:19:09 -05:00
Rob Rix
e8a9634339 Flip modifyReferences. 2018-12-05 15:18:53 -05:00
Rob Rix
1e12265292 Extract a function to modify a scope’s references. 2018-12-05 15:17:18 -05:00
Rob Rix
ebc1a83ed1 Factor out a common traverseEdges function. 2018-12-05 15:14:57 -05:00
joshvera
522c87e627 Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames 2018-12-05 15:09:46 -05:00
joshvera
eae6b7c8b3 Add tests for QualifedExportFrom 2018-12-05 15:07:37 -05:00
Rob Rix
05392f2296 simplify lookupScopePath using <$>. 2018-12-05 14:53:42 -05:00
Rob Rix
98107e05be Correct associatedScope using >>=. 2018-12-05 14:48:44 -05:00
Rob Rix
3a3fa0c541 Define associatedScope using foldr. 2018-12-05 14:42:53 -05:00
Rob Rix
38611d053c Simplify associatedScope using <$> and <|>. 2018-12-05 14:42:05 -05:00
Rob Rix
3c2a544a2d Define scopeOfDeclaration using a foldr. 2018-12-05 14:40:12 -05:00
Rob Rix
bc0c28477f Simplify scopeOfDeclaration using <$ and <|> . 2018-12-05 14:38:25 -05:00
Rob Rix
9a966a51f4 Use maybe. 2018-12-05 14:35:30 -05:00
Rob Rix
433e3dd04d Use maybeM. 2018-12-05 14:35:24 -05:00
Rob Rix
4a80c83275 Parens instead of dollar. 2018-12-05 14:34:09 -05:00
Rob Rix
c4477c05b7 🔥 a redundant dollar. 2018-12-05 14:33:33 -05:00
Rob Rix
5981de0f56 Redundant parens. 2018-12-05 14:33:01 -05:00
Rob Rix
b67708c9d3 🔥 redundant parens. 2018-12-05 14:32:02 -05:00
Rob Rix
34b5965554 Extract a defineSelf helper. 2018-12-05 14:29:00 -05:00
Rob Rix
0132a24e1b 🔥 ScopedTypeVariables. 2018-12-05 14:26:43 -05:00
Rob Rix
776ae3ebe1 🔥 a redundant language extension. 2018-12-05 14:25:09 -05:00
Rob Rix
af8ae29d7e Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames 2018-12-05 14:05:57 -05:00
Rob Rix
dda1706189 Implement object for Type. 2018-12-05 14:05:41 -05:00
joshvera
3a88a76d12 Remove super instance 2018-12-05 14:04:02 -05:00
joshvera
7c677f8625 Remove ScopedResolution instance 2018-12-05 13:55:52 -05:00
joshvera
4a350ece0b Remove old Call code 2018-12-05 13:53:30 -05:00
Rob Rix
ba070a6b46 Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames 2018-12-05 13:49:51 -05:00
joshvera
b319d0fb64 Implement TypeAlias instance 2018-12-05 13:46:32 -05:00
Rob Rix
95c1151cd2 Reintroduce heapLookupAll. 2018-12-05 13:44:47 -05:00
Rob Rix
664b3b2a9d Reintroduce heapLookup. 2018-12-05 13:44:42 -05:00
Rob Rix
b77dc95d4f Reintroduce heapRestrict. 2018-12-05 13:08:24 -05:00
joshvera
a2026e8ada Add valueRef tests back 2018-12-05 12:44:52 -05:00
joshvera
49e8a7004c Remove Exports 2018-12-05 10:23:42 -05:00
joshvera
0f8058d82a Remove NamespaceError 2018-12-05 10:20:41 -05:00
joshvera
073dca372d Remove Data.Abstract.Environment 2018-12-05 10:20:35 -05:00
joshvera
9fee3d5965 formatting 2018-12-05 10:20:17 -05:00
joshvera
5b198eb919 Implement Break and Continue 2018-12-04 19:22:29 -05:00
joshvera
5deda2a033 Implement and reopen ruby modules 2018-12-04 18:46:29 -05:00
joshvera
33b752a5aa Implement This eval instance 
Co-Authored-By: Rob Rix <rob.rix@github.com>
 2018-12-04 17:01:30 -05:00
joshvera
ac1d2dbc95 Declare __self in Method instance 
Co-Authored-By: Rob Rix <rob.rix@github.com>
 2018-12-04 17:01:19 -05:00
joshvera
793ec4b32d Define __self in preludes 
Co-Authored-By: Rob Rix <rob.rix@github.com>
 2018-12-04 17:00:20 -05:00
joshvera
85f00a2904 Add defineBuiltIn 
in order to construct an associated scope to pass to BuiltIn

Co-Authored-By: Rob Rix <rob.rix@github.com>
 2018-12-04 16:24:44 -05:00
joshvera
fa3adf19e6 Assign params within a frame in Abstract/Type semantics 
Co-Authored-By: Rob Rix <rob.rix@github.com>
 2018-12-04 15:56:11 -05:00
Rob Rix
f75c2b14a1 Build function scopes in the Evaluatable instances. 2018-12-04 14:55:25 -05:00
Rob Rix
00c6bb2229 Note that we should be building the scope in define instead of in the Function carrier. 2018-12-04 14:34:40 -05:00
Rob Rix
bb2bcf6274 🔥 a redundant fresh. 2018-12-04 14:21:07 -05:00
Patrick Thomson
3502dadda6 fix build/lints 2018-12-04 13:24:15 -05:00
Rob Rix
dbf670d4ee Use deriving strategies for the Heap. 2018-12-04 13:12:25 -05:00
Rob Rix
9420d5cc96 🔥 a bunch of redundant bindings. 2018-12-04 13:12:18 -05:00
Rob Rix
c16385e20f 🔥 a bunch of redundant constraints. 2018-12-04 13:12:03 -05:00
Rob Rix
91fce6a246 🔥 a bunch of redundant imports. 2018-12-04 12:25:32 -05:00
joshvera
debefff57c Differentiate between Import and Superclass edge tests 2018-12-04 11:24:01 -05:00
Patrick Thomson
28b6cdb9b1 last few changes 2018-12-04 10:45:30 -05:00
Patrick Thomson
18e651cbc0 Merge remote-tracking branch 'origin/master' into tokenize-ruby 2018-12-04 10:40:01 -05:00
joshvera
4d134fd9aa putDeclarationScope should be robust 
And look things up with respect to a current scope instead of traversing the key value pairs of the scope graph
 2018-12-04 10:38:05 -05:00
joshvera
2544b100e1 Ignore Lexical, Import, and Export edges in declarationNames 
Since we only use it for objectMembers in tests and those should only traverse superclass edges atm
 2018-12-04 10:37:33 -05:00
joshvera
b88dde5d5e Traverse superclass edges 2018-12-04 10:37:03 -05:00
joshvera
6a27c20c9b Go back to declaring in Function syntax 2018-12-04 10:36:47 -05:00
joshvera
7f4d4d0c40 Declare in concrete function again 
Fixes subclass associated scope issue in subclasses.py
 2018-12-03 17:58:48 -05:00
joshvera
4af4dd616b Implement Eval instance for classes 
Add Class to scopedEnvironment
 2018-12-03 17:39:45 -05:00
joshvera
c505b53898 No need to declare multiple times 
Co-Authored-By: Rob Rix <rob.rix@github.com>
 2018-12-03 15:59:49 -05:00
joshvera
2d190d8ec9 Don't insert already declared names into a scope 
Co-Authored-By: Rob Rix <rob.rix@github.com>
 2018-12-03 15:59:38 -05:00
joshvera
0cd64662f2 Rename Address to Slot 2018-11-29 20:07:30 -05:00
joshvera
b2bbd0e78c Filter Export edges so we don't traverse them in the tests 2018-11-29 19:36:58 -05:00
joshvera
716bebd985 Remove lexical scope from Statements node 2018-11-29 13:00:53 -05:00
joshvera
49b4a1494f Remove currentFrame from Heap 2018-11-28 17:10:35 -05:00
joshvera
8dd5a7e295 WIP remove current scope and frame from Heap and ScopeGraph 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-28 13:31:40 -05:00
Rick Winfrey
999ef65221 Add Reader effect 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-11-27 17:18:46 -08:00
Rick Winfrey
124c7593f4 Handle scope and frame edges 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-11-27 17:17:00 -08:00
joshvera
b6e789fff7 Use a Reader for the scope address and frame address 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-27 14:16:27 -05:00
joshvera
ccb044ac6b Export scopeLookup 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-26 19:54:49 -05:00
joshvera
ff1543f434 Implement Method 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-26 19:54:37 -05:00
joshvera
e9a999b69e Eval params to names in Evaluatable Function 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-26 19:54:28 -05:00
joshvera
af0184a195 Store names as params in Closure 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-26 19:53:58 -05:00
Timothy Clem
14600029fd Pick out delcarations for ScopeResolution and through Context better 2018-11-26 13:43:20 -08:00
Timothy Clem
e2ac46ae69 Better Show for Span 2018-11-26 13:41:55 -08:00
joshvera
ce40ee2d37 declarationNames traverses edges 
Co-Authored-By: Rob Rix <rob.rix@github.com>
 2018-11-26 13:05:37 -05:00
joshvera
86aa9c9950 Move defaultAlias to Data.ImportPath 2018-11-20 19:03:46 -05:00
Patrick Thomson
9e553ce939 fix-lint 2018-11-20 11:51:40 -05:00
Patrick Thomson
812abf249d fix stray import/old TODO 2018-11-19 16:45:55 -05:00
Patrick Thomson
af02dc3391 Port over Tokenize instances. 2018-11-19 16:41:00 -05:00
Patrick Thomson
c0d71fe80d Add enough Scope tokens to handle Ruby syntax. 2018-11-19 16:15:32 -05:00
Patrick Thomson
2974b34c17 Add 'Flow' to represent control-flow constructs. 2018-11-19 16:05:01 -05:00
joshvera
01f5a29039 Return unit in delete instance 2018-11-16 18:57:05 -05:00
joshvera
f2aa442c48 Rename AssignmentRvalError to DerefError 2018-11-16 18:54:25 -05:00
joshvera
06c9e97b2d implement Delete evaluatable 2018-11-16 18:53:27 -05:00
joshvera
d8933a062b Add deleteSlot 2018-11-16 18:53:16 -05:00
joshvera
007c710668 cover all cases of pathDeclarationScope 2018-11-16 18:02:39 -05:00
joshvera
fb0e7e3407 Add object to AbstractValue 2018-11-16 16:11:39 -05:00
joshvera
de126c7b94 qualify object 2018-11-16 16:11:28 -05:00
joshvera
ec8733889e Add AbstractHole instance to ValueRef 2018-11-16 16:10:02 -05:00
joshvera
e54cc8b096 Add QualifedImportError 2018-11-16 16:09:42 -05:00
joshvera
f39da9578a Move ImportPath to Data.ImportPath 2018-11-16 16:09:11 -05:00
joshvera
ea5587d16c Implement Evaluatable for MemberAccess 2018-11-15 20:24:34 -05:00
joshvera
39e723b980 Add Object to concrete Value 2018-11-15 20:24:21 -05:00
joshvera
3de1cbce5b Change scopedEnvironment to return the address of an Object 2018-11-15 20:24:06 -05:00
joshvera
994fd861c5 Add ReferenceError 2018-11-15 20:23:43 -05:00
joshvera
77fd2e823d Add insertDeclarationSpan to ScopeGraph 2018-11-15 19:29:09 -05:00
joshvera
6a34826abd Declare variable declarations with an empty span and update after evaluating 2018-11-15 19:28:48 -05:00
joshvera
2f32fd6f2b fix empty heap test 2018-11-15 18:44:47 -05:00
Rick Winfrey
46d39a25c8 A lot of warnings. ALOT 2018-11-15 15:04:28 -08:00
Rick Winfrey
97545f0ae7 Remove redundant constraints and imports 2018-11-15 14:18:36 -08:00
Rick Winfrey
e08b1100e4 Remove unnecessary (now) scopeAddress parameter 
In Data.Abstract.ScopeGraph when we invoke `insertImportReference`, we make the assumption that the starting scope with respect to the currently available ScopeGraph is the `currentScope`. We then start from that scope to begin constructing a Path to the scope containing the target declaration.

Control.Abstract.ScopeGraph will need the scopeAddress parameter still, because it is going to insert a new scope into our scope graph using the scope returned from Data.Abstract.ScopeGraph (with the newly constructed path to the declaration).
 2018-11-15 13:58:28 -08:00
Rick Winfrey
f7c38b0bb7 Clean up unused params 2018-11-15 13:52:14 -08:00
Rick Winfrey
a94760e99a Placeholder for handling Hole Paths 2018-11-15 13:51:57 -08:00
Rick Winfrey
66d3044951 Merge branch 'master' into heap-frames 2018-11-15 13:44:06 -08:00
joshvera
393da1897b Test position of slots 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-15 14:39:41 -05:00
joshvera
22e1822185 Defer declaring names in the scope graph to param 
Parameter syntax evaluatable instances are now responsible for adding declarations to the scope graph.

Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-14 19:16:26 -05:00
joshvera
5c861f412f Add putDeclarationScopeAtPosition 
So we can set the associated scope for the declaration of a slot

Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-14 19:14:58 -05:00
joshvera
fe30b926f7 EvalError types 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-14 19:14:31 -05:00
joshvera
127552dbfc parameterize EvalError by address and value 
so that we can throw AssignmentRvalError within Assignment or RequiredParameter Evaluatable instances

Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-14 19:14:02 -05:00
joshvera
3223c97548 Add non-lexical StatementBlock 
to differentiate between syntax that creates a new lexical scope and function bodies etc.

Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-14 19:13:22 -05:00
joshvera
3f4c5d961d Create a lexical edge to its parent's declaration frame when calling a closure 2018-11-14 15:15:31 -05:00
joshvera
eebae6a1fc Add pathDeclarationScope 2018-11-14 15:14:58 -05:00
Timothy Clem
7c3469b86e Get the math right! 2018-11-13 15:50:07 -08:00
joshvera
519a6db035 Implement Return 
impements Return in terms of eval and earlyReturn now that eval returns a ValueRef

Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-13 17:59:25 -05:00
joshvera
12a038869a Export Heap and Frame accessors 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-13 17:58:49 -05:00
Timothy Clem
492117d796 Actually use the HTTP_TIMEOUT config var 2018-11-13 14:30:25 -08:00
joshvera
567fe790c9 Construct an import reference from correct start scope 
Construct an import reference starting from the currentAddress of the target scope graph

Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-13 14:08:42 -05:00
joshvera
4aac61ea70 Insert a list of scope if label doesn't exist in edge map of target scope 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-13 14:08:06 -05:00
joshvera
24720f9f06 Look within references when constructing paths 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-13 14:07:38 -05:00
Rick Winfrey
1e88378a51 Return an Rval representing the function body as a closure, instead of returning a Heap address 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-11-09 12:47:44 -08:00
Rick Winfrey
12d27b436c Update an existing function declaration scope 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-11-09 12:47:24 -08:00
Rick Winfrey
7103ba94b7 Declare a function using its name and the full span of the function 
⚠️ this is a hack to get around the problem of evaluating a functionName (term) in order to retrieve its Span to properly declare the function.

Co-Authored-By: Josh Vera <vera@github.com>
 2018-11-09 12:46:14 -08:00
Rick Winfrey
cbafcd8114 Add (Show address) for debugging 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-11-09 12:42:43 -08:00
joshvera
a37c10b7fb Implement Call in terms of call effect 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-09 13:05:04 -05:00
joshvera
ce91cf71db Remove self argument from call effect 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-09 13:04:52 -05:00
joshvera
c663c6a2ea Stub in pathPosition with Position 0 
⚠️ : This is really bad because we never want to erroneously index into a sequence.

Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-09 12:03:05 -05:00
joshvera
244109310a Add AbstractHole instances for Path, Scope, Address 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-09 11:37:45 -05:00
joshvera
eebcc9c9ee Fix up runFunction carriers 
function effect now takes parameters as terms

Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-08 20:47:04 -05:00
joshvera
f6bfec2d96 the tests compile! 2018-11-08 18:22:35 -05:00
joshvera
22bdbdfafe Fix up import conflicts 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-08 12:55:42 -05:00
Rick Winfrey
ca0508c471 Export lookupDeclaration 2018-11-07 16:29:11 -08:00
Rick Winfrey
05c85c30e2 Add lookupDeclaration in Data.Abstract.Heap 
This allows us to retrieve a frame address and position with which we can inspect slot values accordingly
 2018-11-07 16:23:06 -08:00
joshvera
0c35a8a95c Start fixing up tests 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-07 18:27:56 -05:00
joshvera
a49b7f5440 Add lookupFrameAddress to Heap 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-07 15:56:20 -05:00
Rick Winfrey
f8380e2583 Add show for debugging 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-11-06 16:37:55 -08:00
Rick Winfrey
7eddec8521 Merge branch 'master' into heap-frames 2018-11-06 11:26:39 -08:00
joshvera
2958d2578e Return currentFrame in Maybe 
and throw CurrentFrameError and CurrentScopeError in terms that require a current scope and frame

Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-06 13:43:14 -05:00
joshvera
fdad4295a0 Don't define a prelude of TypeScript atm 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-11-06 13:04:49 -05:00
Timothy Clem
343289f1c5 Merge remote-tracking branch 'origin/master' into docstrings-round2 2018-11-06 09:17:49 -08:00
joshvera
e6cf810822 Merge remote-tracking branch 'origin/master' into heap-frames 2018-11-06 11:26:11 -05:00
joshvera
1818a74060 Return ValueRef everywhere 2018-11-05 19:43:14 -05:00
joshvera
11a64f043e return value refs 2018-11-05 17:25:51 -05:00
joshvera
1020f6dc61 use withLexicalScopeAndFrame in Statements 2018-11-05 16:11:16 -05:00
joshvera
f2754368cb If evaluatable instance returns a ValueRef 2018-11-05 16:11:04 -05:00
joshvera
63aa9da7f6 return undefined from Class instance 2018-11-05 16:10:42 -05:00
joshvera
fc426a9793 fix type constraints 2018-11-05 16:10:31 -05:00
joshvera
c9501897a1 Construct frame from Closure scope in Abstract.Call 2018-11-05 16:10:21 -05:00
joshvera
faffb3098e add heap semantics to BuiltIn 2018-11-05 16:10:04 -05:00
joshvera
14347215cb Set the declaration's scope in runFunction 2018-11-05 16:09:39 -05:00
joshvera
95204199fb rename address to frameAddress 2018-11-05 16:09:14 -05:00
joshvera
674d835ad9 import AllocatorC 2018-11-05 16:09:02 -05:00
joshvera
fc6c21c85e Rename address to frameAddress 2018-11-05 16:08:06 -05:00
joshvera
b3b7d2e5ff fix constraints 2018-11-05 16:07:23 -05:00
Timothy Clem
11c145589c Give class a custom Declarations1 instance 2018-11-05 09:27:41 -08:00
joshvera
37da68d706 Show builtIn name 2018-11-05 12:22:22 -05:00
joshvera
28ee7a136d currentScope returns in Maybe 2018-11-05 12:22:09 -05:00
joshvera
0d0ef95582 type parameters 2018-11-05 12:22:01 -05:00
Patrick Thomson
76f0ef7f38 Merge remote-tracking branch 'origin/master' into revisit-matching 2018-11-05 11:07:49 -05:00
Rob Rix
2ee79706e3 Whitelist attemptUnsafeArithmetic in the hlint config. 2018-11-05 09:51:56 -05:00
Patrick Thomson
7ea52dbfe3 Give Control.Matching API better ergonomics. 
Given that @tclem and I have found the matcher API frustrating, I've
taken a stab at improving its ergonomics, and I've found some success
in separating composition of matchers from predicate-based narrowing
thereof.

The biggest change here is the elimination of the old `match`
combinator, which proved to be clumsy in that it complected narrowing
and composition. Top-down matching combinators are now written with
the `need` combinator and the `>>>` combinator, which is more readable
and more versatile. Here's a matcher that accepts functions with
Python docstrings:

```haskell
docstringMatcher :: ( Decl.Function :< fs
                    , [] :< fs
                    , Lit.TextElement :< fs
                    , term ~ Term (Sum fs) ann
                    ) => Matcher term term
docstringMatcher = target <*
               (need Decl.functionBody
                >>> narrow @[]
                >>> mhead
                >>> narrow @Lit.TextElement
                >>> ensure Lit.isTripleQuoted))
```

Pretty readable, right? Each step of the tree regular expression -
choosing function bodies, ensuring said bodies are lists, examining
the first element, and choosing only TextElements containing
triple-quoted strings - is made implicit. The old way would have
looked something like this:

```haskell
docstringMatcher = target <* match Decl.functionBody
                           $ narrow
                           $ matchM listToMaybe
                           $ target <* ensure Lit.isTripleQuoted
```
which is a good deal more disorganized and less flexible
in the quite-common case of applying functions during a
matching pass. Separating the act of composition from
function application is a big win here.

Further comments are inline.
 2018-11-02 19:25:29 -04:00
joshvera
bb39ebde84 use withLexicalScopeAndFrame 2018-11-02 16:18:16 -04:00
joshvera
6470a3a976 Remove ScopeEnv constraint 2018-11-02 16:17:58 -04:00
joshvera
39deb34db6 ignore define values 2018-11-02 16:17:50 -04:00
joshvera
5647df2a16 remove instance sigs 2018-11-02 16:17:43 -04:00
joshvera
02bcc64102 Fix Env constraints 2018-11-02 16:17:01 -04:00
Timothy Clem
223298b86a Merge remote-tracking branch 'origin/master' into docstrings-round2 2018-11-02 12:54:21 -07:00
joshvera
f50329ced4 fix up Abstract, Type, and Value 2018-11-02 15:33:45 -04:00
joshvera
f85a2d0f1a Evaluator sig 2018-11-01 23:08:28 -04:00
joshvera
daf17e426d derive any class 2018-11-01 22:45:51 -04:00
joshvera
c2643d3463 Don't make the heap a monoidal map 2018-11-01 22:32:14 -04:00
joshvera
86253d11c7 NFData instance 2018-11-01 22:31:55 -04:00
joshvera
069a50a634 add NFData to Position 2018-11-01 22:28:38 -04:00
Timothy Clem
63e13ee20c Merge remote-tracking branch 'origin/master' into docstrings-round2 2018-11-01 16:04:15 -07:00
Rick Winfrey
4750d51bf6 Merge branch 'master' into heap-frames 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-11-01 15:29:45 -07:00
Rob Rix
98805db943 Merge branch 'master' into diff-via-fused-effects 2018-10-31 18:39:24 -04:00
Patrick Thomson
b9cf8f73c6 Environment and App. 2018-10-31 15:47:30 -04:00
joshvera
ef67897838 Make it compile 2018-10-31 15:37:13 -04:00
Patrick Thomson
d473b9e1af add Data/Abstract/Name/Spec 2018-10-31 13:19:43 -04:00
Patrick Thomson
b0e6190dbf add Data/Range/Spec 2018-10-31 12:46:52 -04:00
Patrick Thomson
cd05aaa7a5 add Data/Graph/Spec 2018-10-31 12:30:56 -04:00
Timothy Clem
feef6e3ed6 Generic1 instance for TermF 2018-10-31 08:28:37 -07:00
joshvera
3fd78a2938 fix constraints in outer modules 2018-10-30 18:19:16 -04:00
Rick Winfrey
e3be56166a Add fix me comments to evaluatable instances 2018-10-30 13:50:43 -07:00
joshvera
44b7e7640e Remove more constraints 2018-10-30 13:53:03 -04:00
Rick Winfrey
9d375d72a1 Comment out remaining problematic code 2018-10-29 16:41:40 -07:00
Rick Winfrey
8c26fbfb61 Fix up parts of Evaluatable Class; not sure about the klass declaration 2018-10-29 16:33:09 -07:00
Rick Winfrey
d76fcb73a7 Sketch out Evalutable TypeAlias 2018-10-29 16:01:59 -07:00
joshvera
25dae2319a Fix up a couple more eval instances 
and comment out even more
 2018-10-29 18:08:56 -04:00
Rob Rix
148eb81d51 Diffing.Algorithm no longer exports Empty. 2018-10-29 11:01:52 -04:00
Rob Rix
5bf4479597 🔥 a stray LambdaCase. 2018-10-29 10:26:56 -04:00
Rob Rix
636eec364e Update to fused-effects, replace \/ with handleSum and bundle Interpose. 2018-10-29 09:52:48 -04:00
Rob Rix
3979ea4e86 🔥 disjunction. 2018-10-25 22:56:08 -04:00
Rob Rix
d4c6edb156 🔥 Disjunction. 2018-10-25 22:54:00 -04:00
Rob Rix
ce407d1c9e Move a bunch of the evaluation machinery to Semantic.Analysis. 2018-10-25 21:40:37 -04:00
Rob Rix
830fde2104 Simplify evaluate to take the term evaluator. 2018-10-25 21:22:22 -04:00
Rob Rix
428d92788b Sort a couple of constraints down. 2018-10-25 21:13:28 -04:00
Rob Rix
64df59c4bf Extract evalTerm. 2018-10-25 20:55:07 -04:00
Rob Rix
097af57735 Factor the interposes into a runInTerm helper. 2018-10-25 17:34:04 -04:00
Rob Rix
4cad9bc45e Re-export Control.Abstract.ScopeGraph from Control.Abstract. 2018-10-25 16:42:53 -04:00
Rob Rix
8a3d7ba927 Don’t be clever. 2018-10-25 13:48:47 -04:00
Rob Rix
c625efd9c5 Extract the fold over modules to the top level. 2018-10-25 13:47:07 -04:00
Rob Rix
df10f93bcd Extract runInModule to the top level. 2018-10-25 13:44:28 -04:00
Rob Rix
996a2ab79c 🔥 HasPostlude. 2018-10-25 11:49:50 -04:00
Rob Rix
1e83574cf0 🔥 the use of postludes. 2018-10-25 11:47:21 -04:00
Rob Rix
4531c9afc7 🔥 Prologue’s re-export of MonadError. 2018-10-25 10:21:14 -04:00
Rob Rix
775bc6ef80 Bump higher-order-effects for interposition. 2018-10-25 09:27:40 -04:00
Rob Rix
05c4f76663 🔥 redundant parens. 2018-10-24 15:41:14 -04:00
Rob Rix
66466448ec Simplify the reinterpretation in ScopeEnvC. 2018-10-24 15:26:20 -04:00
Rob Rix
2d71e0b6fc Parameterize ScopeEnvC by the address type. 2018-10-24 15:23:59 -04:00
Rob Rix
131cae4d7b Merge branch 'master' into higher-order-effects 2018-10-24 14:04:13 -04:00
Rob Rix
2216fcc44a Effect, not carrier. 
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
 2018-10-24 12:40:17 -04:00
Rob Rix
41d206b9fa Eavesdrop in evaluate. 
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
 2018-10-24 12:39:53 -04:00
Rob Rix
15a8917c84 Simplify the FunctionC carrier instances. 2018-10-24 11:00:54 -04:00
Rob Rix
25b2c3c4e9 Encapsulate the state effects inside EnvC. 2018-10-24 10:21:29 -04:00
Rob Rix
bff13c7272 Parameterize EnvC by the address type. 2018-10-24 10:14:04 -04:00
Rob Rix
88a116cedc 🔥 the demotes. 2018-10-23 15:50:42 -04:00
Rob Rix
a18410cb0b Promote ret from the underlying carrier. 2018-10-23 15:49:59 -04:00
Patrick Thomson
9e2ea1101d stray LANGUAGE pragma 2018-10-23 15:46:02 -04:00
Patrick Thomson
ef696d3c41 Split up Semantic.IO. 
This looks like a big patch, but it's very straightforward: no
behavior has changed.

After the umpteenth time spent hitting a compile error because I
passed a `FilePath` rather than a `File` to `readBlobFromPath`, I
decided to finally make the needed refactors to Semantic.IO, and to
split off the `File` type and `Files` effect. This patch:

* adds the `MonadIO` class to `Prologue`'s export list
* moves `File` into `Data.File`
* moves `Handle` into `Data.Handle`
* moves `Files` into `Semantic.Task.Files`
* moves functions for reading blobs into `Data.Blob`
* keeps general IO helpers in Semantic.IO
* renames `readFile` to `readBlobFromFile`
* renames `readBlobFromPath` to `readBlobFromFile'`

This should have a positive effect on compile times and ease of
navigation throughout the codebase.
 2018-10-23 15:37:49 -04:00
Rob Rix
82956152c6 Re-add the WhileC Carrier instance for the concrete domain. 2018-10-23 11:41:16 -04:00
Rob Rix
c53a6aa511 Interpose with an upcast. 2018-10-23 11:30:58 -04:00
Rob Rix
92ac53252e Define upcasting to InterposeC. 2018-10-23 09:45:33 -04:00
Rob Rix
21f17ff56f Clean up a bunch of algebras. 2018-10-22 20:30:07 -04:00
Rob Rix
11ccb849a6 Fix a dodgy import. 2018-10-22 20:18:16 -04:00
Rob Rix
56eae42043 Simplify the While carriers. 2018-10-22 12:49:01 -04:00
Rob Rix
9b3fb906ae Simplify the BooleanC carriers. 2018-10-22 12:38:43 -04:00
Rob Rix
9fbbd9a667 Generalize unify. 2018-10-22 12:27:13 -04:00
Rob Rix
3c267f2757 Generalize substitute. 2018-10-22 12:27:06 -04:00
Rob Rix
0960f0cd9e Generalize throwTypeError. 2018-10-22 12:26:54 -04:00
Rob Rix
aba2afece7 Generalize throwBaseError. 2018-10-22 12:26:16 -04:00
Rob Rix
3dcdf3f769 The triumphant return of raiseHandler. 2018-10-22 12:21:10 -04:00
Rob Rix
e3dd3b51a3 Simplify the EvalError carriers. 2018-10-22 12:06:45 -04:00
Rob Rix
02701fccd8 Simplify the UnspecializedError carriers. 2018-10-22 12:05:57 -04:00
Rob Rix
f6780cdfeb Simplify the TypeError carriers. 2018-10-22 12:02:48 -04:00
Rob Rix
db9947e742 Simplify the ValueError carriers. 2018-10-22 11:57:56 -04:00
Rob Rix
5529055ff8 🔥 the term parameter to ModuleC. 2018-10-22 11:51:26 -04:00
Rob Rix
f20324b064 Simplify the ScopeEnv carrier. 2018-10-22 11:50:31 -04:00
Rob Rix
8769f7ab20 Simplify the ModuleInfo carrier. 2018-10-22 11:47:40 -04:00
Rob Rix
727cbbbf94 Simplify the DerefC carriers. 2018-10-22 11:46:42 -04:00
Rob Rix
a18f8e5c32 Simplify the Located/Hole AllocatorC Carrier instances. 2018-10-22 11:46:32 -04:00