Patrick Thomson
59be0e0025
Merge pull request #492 from github/respect-this-failure
...
Ensure that the failParsingForTesting flag is always respected.
2020-02-19 08:34:11 -05:00
Patrick Thomson
450f274490
Ensure that the failParsingForTesting flag is always respected.
...
The `runAssignment` code path makes sure to check that the
`failParsingForTesting` flag is set and throwing an error if
so; this patch ensures that the check happens on every code path.
I chose not to change the `runAssignment` code path to use this new
executeParserAction function, since that whole spiel is going away.
2020-02-18 15:21:47 -05:00
Patrick Thomson
81aa69e13b
Merge pull request #487 from github/super-modules
...
Remove submodules now that parsers provide grammars themselves.
2020-02-14 14:59:10 -05:00
Patrick Thomson
ea641ab602
Stray imports.
2020-02-14 14:19:32 -05:00
Patrick Thomson
37b391b3a4
Merge pull request #468 from github/codegen-migration-leftovers
...
Codegen migration leftovers
2020-02-14 13:33:45 -05:00
Patrick Thomson
e45bb13fb1
Remove submodules now that parsers provide grammars themselves.
2020-02-14 13:25:37 -05:00
Patrick Thomson
29739363c3
Institute precise PHP parsing.
2020-02-14 13:19:42 -05:00
Patrick Thomson
c3279290ae
Merge remote-tracking branch 'origin/master' into codegen-migration-leftovers
2020-02-14 13:03:32 -05:00
Patrick Thomson
26d3f221ee
Parse PHP in a precise manner now that its assignment is disabled.
2020-02-14 12:54:23 -05:00
Patrick Thomson
5886af5e15
Merge pull request #479 from github/a-newtype-of-science
...
Use CurrentScope to indicate the significance of Names.
2020-02-14 12:22:58 -05:00
Patrick Thomson
dd9d4f435f
Forgot to use this newtype in the carrier.
2020-02-14 12:01:30 -05:00
Patrick Thomson
24b8fbd870
fix tests, again
2020-02-14 11:42:12 -05:00
Patrick Thomson
7a5fc45b32
fix the tests
2020-02-13 18:29:35 -05:00
Patrick Thomson
54911616a6
These explicit CurrentScope constructors help readability.
2020-02-13 18:02:46 -05:00
Patrick Thomson
c3ce8a7624
Merge remote-tracking branch 'origin/master' into a-newtype-of-science
2020-02-13 17:58:04 -05:00
Ayman Nadeem
75bbed48f5
Update semantic-json.cabal
2020-02-13 13:47:26 -05:00
Ayman Nadeem
08860756b8
we're not quite ready to part ways with this just yet
2020-02-13 13:05:13 -05:00
Josh Vera
3b67dd3b33
Merge branch 'inject-project' into a-newtype-of-science
2020-02-13 12:45:52 -05:00
Josh Vera
ff6e145fbb
Merge pull request #478 from github/inject-project
...
Propagate module/path information into generated scope graphs.
2020-02-13 12:44:55 -05:00
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
