Ayman Nadeem
06a16c2c91
remove phpParser from Semantic.Graph
2020-02-13 12:38:53 -05:00
Ayman Nadeem
14cb1b5bf0
Update Parser.hs
2020-02-13 12:15:17 -05:00
Patrick Thomson
7043a5b560
Merge pull request #437 from github/precise-parsing-by-default
...
Precise parsing by default
2020-02-13 12:05:35 -05:00
Ayman Nadeem
6dd0c785ee
remove remnants of PHP from Parsing.Parser
2020-02-13 11:43:41 -05:00
Ayman Nadeem
ff48764ad9
extract import of Language.PHP.Assignment
2020-02-13 10:58:35 -05:00
Ayman Nadeem
82c51e1a12
Update .hlint.yaml
2020-02-13 10:28:57 -05:00
Ayman Nadeem
973fcd230b
fix redundant import of Token by importing instances alone
2020-02-13 10:26:00 -05:00
Patrick Thomson
f75fff62ef
Lost this import.
2020-02-13 00:06:18 -05:00
Patrick Thomson
f278647d37
disable this test
2020-02-12 23:50:16 -05:00
Patrick Thomson
764e172b98
Merge remote-tracking branch 'origin/master' into precise-parsing-by-default
2020-02-12 19:17:09 -05:00
Ayman Nadeem
8f3668aa1a
fix copy pasta
2020-02-12 18:23:24 -05:00
Ayman Nadeem
05760f6d11
Program is PHP's top-level rule
2020-02-12 16:44:07 -05:00
Ayman Nadeem
b2148607c4
disambiguate Integer and Float
2020-02-12 14:19:52 -05:00
Ayman Nadeem
4fa40e79fc
note PHP is temporarily disabled
2020-02-12 13:46:53 -05:00
Ayman Nadeem
961d042f48
remove phpParser from Parsing.Parser
2020-02-12 13:44:35 -05:00
Ayman Nadeem
fc130e928c
remove Language.PHP.Assignment from semantic.cabal
2020-02-12 13:44:25 -05:00
Ayman Nadeem
5cfe4f7078
disamiguate between Prelude vs Grammar Strings
2020-02-12 13:38:06 -05:00
Patrick Thomson
257d51fd7a
Accidentally elided an effect.
2020-02-12 12:04:40 -05:00
Patrick Thomson
babde11f98
Use CurrentScope to indicate the significance of Names.
...
This newtype is useful, and sports an identical definition within
`semantic`. We should use it everywhere.
2020-02-12 11:29:24 -05:00
Patrick Thomson
047b602882
Propagate module/path information into generated scope graphs.
...
By adding a `Reader ModuleInfo` constraint to the scope graph DSL, we
can ensure that newly-introduced declarations and references get this
helpful information (rather than sticking a `lowerBound` in there).
2020-02-12 11:19:02 -05:00
Ayman Nadeem
015aec04ed
bump tree-sitter-php
2020-02-11 20:01:43 -05:00
Josh Vera
6a00388913
Merge pull request #477 from github/import-cases
...
Add ImportStatement
2020-02-11 17:49:53 -05:00
joshvera
4de4e68b84
Replace undefined with impossibleTerm
...
doesn't seem like a Nothing case is possible as this is a remnant of tree-sitter's handling of sum types
2020-02-11 17:38:35 -05:00
joshvera
02db8cfa8e
Define reference to initial scope outside of for_ loop
2020-02-11 17:17:22 -05:00
joshvera
5339ee2e03
cleanup
2020-02-11 16:31:49 -05:00
Ayman Nadeem
4f2e64169f
Update semantic.cabal
2020-02-11 16:27:23 -05:00
joshvera
0372b888bd
Use props in reference
2020-02-11 16:19:36 -05:00
joshvera
5ef758aa85
Reuse path in newReference
2020-02-11 16:16:20 -05:00
Ayman Nadeem
688b77a737
Update cabal.project
2020-02-11 15:56:22 -05:00
Ayman Nadeem
6d5345e015
Update cabal.project.ci
2020-02-11 15:56:21 -05:00
Ayman Nadeem
fa4eda6c89
add semantic-php to ghci-flags-dependencies
2020-02-11 15:56:17 -05:00
Ayman Nadeem
aee068a8be
add semantic-php to ghci-flags
2020-02-11 15:55:12 -05:00
joshvera
a1e00b3504
Fix ImportStatement
2020-02-11 15:50:59 -05:00
Ayman Nadeem
0a1cccdfd7
Update .gitmodules
2020-02-11 14:34:32 -05:00
Ayman Nadeem
92755612ff
add php submodule temporarily
2020-02-11 14:34:07 -05:00
Ayman Nadeem
6d94cf6a86
change TreeSitter.PHP to Language.PHP.Grammar
2020-02-11 14:33:39 -05:00
Patrick Thomson
f3d2f6932a
Merge pull request #476 from github/i-am-projecting
...
Move Data.Project to semantic-analysis.
2020-02-11 13:41:16 -05:00
Patrick Thomson
254b160e48
Wrong language module.
2020-02-11 13:24:59 -05:00
Patrick Thomson
4523b33d98
Export readProjectFromPaths.
2020-02-11 13:21:31 -05:00
Patrick Thomson
7f0f68c94d
Fix up some imports.
2020-02-11 13:20:51 -05:00
Patrick Thomson
d2bd643745
Start moving Blob around.
2020-02-11 13:18:10 -05:00
joshvera
9913031f97
Fix positions and kinds in tests
2020-02-11 13:06:29 -05:00
Patrick Thomson
6162dbd191
Revert "Something is terribly wrong with the cache."
...
This reverts commit 3ecb6a99c7
.
2020-02-11 13:02:36 -05:00
Patrick Thomson
3ecb6a99c7
Something is terribly wrong with the cache.
2020-02-11 12:59:57 -05:00
joshvera
284912ad21
Remove extra reference call in tests
2020-02-11 12:56:47 -05:00
Patrick Thomson
27829d1131
Emacs misfire.
2020-02-11 12:53:56 -05:00
Patrick Thomson
f722cb0897
Move Data.Project to semantic-analysis.
...
I need this for semantic-scope-graph so that each graph can have
correct `ModuleInfo` fields. Straightforward.
2020-02-11 12:52:44 -05:00
joshvera
13ebd4650b
remove imports
2020-02-11 12:50:25 -05:00
joshvera
c588a8aab8
Revert runScopeGraph changes
2020-02-11 12:49:37 -05:00
Josh Vera
3ee0ffd41c
Merge pull request #475 from github/no-more-sketches
...
Remove the ScopeGraph effect and define it with a constraint kind.
2020-02-11 12:48:18 -05:00