mirror of
https://github.com/github/semantic.git
synced 2024-12-20 05:11:44 +03:00
Update tests
This commit is contained in:
parent
5368c6b37b
commit
f777610108
@ -35,9 +35,9 @@ spec = parallel $ do
|
||||
let lexicalEdges = Map.singleton Lexical [ currentScope' ]
|
||||
x = SpecHelpers.name "x"
|
||||
associatedScope <- newScope lexicalEdges
|
||||
declare (ScopeGraph.Declaration "identity") Default Public emptySpan ScopeGraph.Function (Just associatedScope)
|
||||
declare (ScopeGraph.Declaration "identity") Default Public emptySpan ScopeGraph.FunctionKind (Just associatedScope)
|
||||
withScope associatedScope $ do
|
||||
declare (Declaration x) Default Public emptySpan ScopeGraph.RequiredParameter Nothing
|
||||
declare (Declaration x) Default Public emptySpan ScopeGraph.RequiredParameterKind Nothing
|
||||
identity <- function "identity" [ x ]
|
||||
(SpecEff (Heap.lookupSlot (ScopeGraph.Declaration (SpecHelpers.name "x")) >>= deref)) associatedScope
|
||||
val <- integer 123
|
||||
|
Loading…
Reference in New Issue
Block a user