Timothy Clem
21e3f69110
Just one defaultConfig
2018-06-15 10:17:02 -07:00
Rob Rix
792cdcc5e2
Re-export Lower from SpecHelpers.
2018-06-15 11:41:38 -04:00
Rob Rix
430a4e1cfa
🔥 emptyEnv.
2018-06-15 11:05:19 -04:00
Patrick Thomson
80aac54baa
Merge remote-tracking branch 'origin/master' into import-graph-mk2
2018-06-15 10:01:51 -04:00
Timothy Clem
63fbd49964
Merge remote-tracking branch 'origin/master' into grpc-trees
2018-06-14 12:56:37 -07:00
Timothy Clem
cff0e073ae
Comment typo
2018-06-13 17:48:22 -07:00
Timothy Clem
85d948003e
Merge remote-tracking branch 'origin/master' into telemetry-and-config
2018-06-13 17:15:17 -07:00
Timothy Clem
9b45928227
Fix up test/spec
2018-06-13 17:03:15 -07:00
Rick Winfrey
14ee2f876f
Assign conditional expressions
2018-06-13 16:48:03 -07:00
Rick Winfrey
8da0150ce4
Assign CPP Directives
2018-06-13 16:40:00 -07:00
Rob Rix
31893e6ced
Bump effects for https://github.com/joshvera/effects/pull/54 .
...
This requires us to specify the lists of effects fully.
2018-06-13 16:35:56 -04:00
Rob Rix
6a239acb35
🔥 redundant parens.
2018-06-13 16:26:25 -04:00
Patrick Thomson
fd56213d44
Merge branch 'master' into import-graph-mk2
2018-06-13 14:21:42 -04:00
Rick Winfrey
8493ba7fee
Merge branch 'master' into haskell-assignment
2018-06-13 09:54:06 -07:00
Patrick Thomson
19e7ff7510
Reinstate import graph functionality.
2018-06-13 12:47:35 -04:00
Rick Winfrey
823d34a987
Merge branch 'master' into haskell-assignment
2018-06-13 09:42:21 -07:00
Patrick Thomson
36d5b7562a
Revert "gRPC import graph"
2018-06-13 12:34:35 -04:00
Rick Winfrey
f5dd067eeb
Merge branch 'master' into haskell-assignment
2018-06-12 15:44:01 -07:00
Rick Winfrey
59cd3b55db
Add additional test cases
2018-06-12 15:07:58 -07:00
Rick Winfrey
148ee52a5f
Assign prefix negation and parenthesized expressions
2018-06-12 15:01:46 -07:00
Rick Winfrey
c53dab76cf
Assign lambdas
2018-06-12 14:50:38 -07:00
Rick Winfrey
00e299ad25
Add more expression test fixtures
2018-06-12 14:19:18 -07:00
Rick Winfrey
d6d865c90b
Assign left and right operator sections
2018-06-12 13:18:44 -07:00
Patrick Thomson
248eb4f207
clarify
2018-06-12 14:13:45 -04:00
Rick Winfrey
1063bd91bd
Assign arithmetic sequences
2018-06-12 10:47:48 -07:00
Patrick Thomson
81482ee696
Merge remote-tracking branch 'origin/master' into import-graph-mk2
2018-06-12 12:09:49 -04:00
Patrick Thomson
c563747f87
tests compile now
2018-06-12 12:09:40 -04:00
Charlie Somerville
3c2a877821
Merge branch 'master' into charliesome/value-ref-address
2018-06-12 08:56:56 +10:00
Rick Winfrey
b1c1a25267
Assign list comprehensions, generators, tuple patterns
2018-06-11 15:54:01 -07:00
Rick Winfrey
36f80acba1
Update hidden imports and add fixtures
2018-06-11 15:22:51 -07:00
Patrick Thomson
511d412e10
Merge remote-tracking branch 'origin/master' into import-graph-mk2
2018-06-11 17:19:48 -04:00
joshvera
82e1de7fde
Add roundtrip tests for json syntax
2018-06-11 17:10:29 -04:00
Rick Winfrey
536433cb44
Merge branch 'master' into haskell-assignment2
2018-06-11 14:05:28 -07:00
Patrick Thomson
084129cde0
preliminary implementation of findFiles
2018-06-11 16:18:16 -04:00
Rick Winfrey
932f2d2267
Use single type constructor for identifiers
2018-06-11 10:22:06 -07:00
Rick Winfrey
9317972ca2
Assign import declarations (not hidden)
2018-06-08 17:18:39 -07:00
Rick Winfrey
fadf84870e
Assign standalone deriving instances
2018-06-08 15:46:03 -07:00
Rick Winfrey
5824ea1b73
Add additional type signature tests
2018-06-08 15:07:07 -07:00
Rick Winfrey
c688f580f7
Regenerate go test fixtures
2018-06-08 12:10:54 -07:00
Rick Winfrey
646e1c3459
Be explicit about each identifier type
...
I went through a lot of trouble to make every identifier parsed in `tree-sitter-haskell` as accurate as possible (i.e. type variable identifier vs constructor identifier vs type class identifier). This enables us to keep those distinctions with assignment at the cost of adding more constructors.
2018-06-08 12:05:17 -07:00
Rick Winfrey
6f8dff06f8
Assign equality constraints
2018-06-08 12:02:13 -07:00
Rick Winfrey
ce8cd489af
Assign default declarations
2018-06-08 10:33:42 -07:00
Rick Winfrey
5d3ece8d69
Allow multiple contexts (for scoped type variables and type class constraints) for data constructors
2018-06-08 10:23:21 -07:00
Rick Winfrey
867170b39a
Assign primitive constructor identifiers
2018-06-08 10:13:24 -07:00
Rick Winfrey
0cc63f89f3
Assign newtype declarations
2018-06-08 10:06:09 -07:00
Charlie Somerville
b68d12f4e7
deref pointers to values in testEvaluating
2018-06-08 11:33:04 +10:00
Charlie Somerville
ddb18160f7
Merge branch 'master' into charliesome/value-ref-address
2018-06-08 11:33:01 +10:00
Rick Winfrey
9e6acf337c
Merge branch 'master' into haskell-assignment
2018-06-07 17:50:27 -07:00
Rick Winfrey
1ba0723373
Flush out more types and type synonym declaration assignments
2018-06-07 17:49:37 -07:00
Rick Winfrey
5c0191378b
Assign module exports including:
...
- Constructor Operators
- Type Operators
- Variable Operators
- Module Exports (exporting a module)
- Constructor Symbols
- Variable Symbols
- Qualified Module Identifiers
2018-06-07 14:17:39 -07:00
Rob Rix
b08d3736fa
Merge branch 'master' into haskell-assignment
2018-06-07 11:35:56 -04:00
Rick Winfrey
e4ba876e18
Merge branch 'master' into haskell-assignment
2018-06-06 20:49:20 -07:00
Rick Winfrey
8ab606654c
Update go test fixtures
2018-06-06 20:42:04 -07:00
Charlie Somerville
2fc9f1ca25
add type annotation to testEvaluating
2018-06-07 12:01:48 +10:00
Rick Winfrey
bd43959cb0
Assign annotated type variables
2018-06-06 17:03:27 -07:00
Rick Winfrey
fc7c578b9b
Allow pragmas within gadt constructors
2018-06-06 16:58:54 -07:00
Rick Winfrey
a7795bca03
Assign qualified type constructor identifiers
2018-06-06 16:53:48 -07:00
Rick Winfrey
8cb6d7ed0a
Release the kinds!
2018-06-06 15:41:57 -07:00
Rick Winfrey
2e792df250
Assign fields within GADT constructors
2018-06-06 14:42:25 -07:00
Rob Rix
0011b909b3
Merge branch 'master' into no-more-fail-effect
2018-06-06 15:18:25 -04:00
Ayman Nadeem
89a6be151d
array access test
2018-06-06 11:31:22 -07:00
Ayman Nadeem
0913be8189
spread parameter test
2018-06-06 11:30:37 -07:00
Ayman Nadeem
4680c86cd4
wildcard + bounds test
2018-06-06 11:14:35 -07:00
Ayman Nadeem
e2f6b1eff1
add test for enum declaration with modifier
2018-06-06 11:09:15 -07:00
Ayman Nadeem
cf63da3cbf
add field access test
2018-06-06 11:06:16 -07:00
Rob Rix
83ee082259
Regenerate all of the affected fixtures.
2018-06-06 10:35:47 -04:00
Rob Rix
b6c8c3f236
Fix up the evaluator spec.
2018-06-06 09:46:12 -04:00
Rob Rix
b19c381edb
🔥 the Fail effect.
2018-06-06 09:45:40 -04:00
Rick Winfrey
a452136999
Assign simple GADTs
2018-06-05 16:01:56 -07:00
Rick Winfrey
4c162ab20d
Assign type signatures and function types
2018-06-05 16:01:37 -07:00
Rick Winfrey
97c71544ea
Assign GADT declarations without constructors
2018-06-05 12:26:42 -07:00
Rick Winfrey
e2dba7cd28
Assign contexts per constructor
2018-06-05 11:32:40 -07:00
Patrick Thomson
0fdef390b2
Relax the timeout in the cancelable parsing test.
...
If this keeps whining, I'll remove the test, but let's try tripling
the timeout interval first.
2018-06-05 13:13:08 -04:00
Patrick Thomson
c94bb216ba
Use fromEnum and maxBound to ensure this test gets changed for all new Languages.
2018-06-05 12:56:34 -04:00
Patrick Thomson
fbff61b247
actually run the specs
2018-06-05 12:51:23 -04:00
Patrick Thomson
43fd0e65ef
Merge remote-tracking branch 'origin/master' into proto-tests
2018-06-05 12:33:17 -04:00
Patrick Thomson
871ebf49b8
Add a test to ensure no one breaks Enum instances for Language.
2018-06-05 12:32:24 -04:00
Patrick Thomson
c35d00bf93
Merge branch 'master' into fix-maybe-language
2018-06-05 12:24:14 -04:00
Patrick Thomson
e25791c1ca
Roundtrip test for protobuf instances.
2018-06-05 12:14:24 -04:00
Rick Winfrey
5b411254a9
Merge branch 'master' into haskell-assignment
2018-06-05 09:12:40 -07:00
Rob Rix
7cbd2a60d6
Merge branch 'master' into fix-maybe-language
2018-06-05 09:45:41 -04:00
Rob Rix
1d8fcf3ecf
Merge branch 'master' into java-assignment-part-2
2018-06-05 09:26:31 -04:00
Patrick Thomson
96771f8ebf
fix tests
2018-06-04 18:53:24 -04:00
Patrick Thomson
4a7ebf71dd
Merge remote-tracking branch 'origin/master' into fix-maybe-language
2018-06-04 18:33:03 -04:00
Patrick Thomson
10a863f57c
Fix tests
2018-06-04 18:26:47 -04:00
Rick Winfrey
d5a7c04254
Merge branch 'master' of https://github.com/github/semantic into haskell-assignment
2018-06-04 15:01:25 -07:00
Timothy Clem
bfe7caed48
Merge branch 'master' into java-assignment-part-2
2018-06-04 14:34:22 -07:00
Patrick Thomson
dd4a939f21
merge fallout
2018-06-04 12:18:02 -04:00
Patrick Thomson
7c9b1ec17e
Merge remote-tracking branch 'origin/master' into text-names
2018-06-04 11:46:54 -04:00
Patrick Thomson
cf6133ebfc
change fromBytes to fromUTF8
2018-06-04 10:18:32 -04:00
Rick Winfrey
b0fb50e21a
Assign contexts with classes
2018-06-01 16:36:34 -07:00
Rick Winfrey
4f34d71651
Assign datatype declarations with deriving clauses
2018-06-01 16:36:07 -07:00
Timothy Clem
43fa49b09f
Merge remote-tracking branch 'origin/master' into explicit-statements
2018-06-01 14:52:51 -07:00
Rob Rix
d6d3008cba
deref operates on the address, so drop the env.
2018-06-01 17:28:35 -04:00
Rob Rix
d8201341c9
We’re already destructuring the tuples.
2018-06-01 17:28:19 -04:00
Charlie Somerville
435a211fc4
Merge branch 'master' into charliesome/value-ref-address
2018-06-01 14:20:07 -07:00
Ayman Nadeem
e9b5bdf7da
text fixtures
2018-06-01 14:09:56 -07:00
Ayman Nadeem
465dd0fcb4
move test fixtures to newly created corpus directory
2018-06-01 13:41:12 -07:00
Charlie Somerville
7478c4a6de
Merge branch 'master' into charliesome/value-ref-address
2018-06-01 12:50:11 -07:00
Ayman Nadeem
3613373a8a
Merge branch 'master' into java-assignment
2018-06-01 11:52:56 -07:00
Timothy Clem
a7cf91d669
Merge branch 'derive-ToJSONFields1' into explicit-statements
2018-06-01 11:47:45 -07:00
Timothy Clem
902156ae78
Merge remote-tracking branch 'origin/master' into derive-ToJSONFields1
2018-06-01 11:46:08 -07:00
Timothy Clem
359031d777
s/Program/Statements in all of the tests
2018-06-01 11:44:03 -07:00
Timothy Clem
2d626f9f90
Merge branch 'derive-ToJSONFields1' into explicit-statements
2018-06-01 11:22:04 -07:00
Ayman Nadeem
1808d53a3b
correct text fixtures according to and/or ruby bug fix
2018-06-01 11:16:00 -07:00
Rick Winfrey
057de6df34
Add aglebraic datatype tests
2018-06-01 10:56:12 -07:00
Timothy Clem
5408e20ea8
Merge remote-tracking branch 'origin/master' into explicit-statements
2018-06-01 08:54:55 -07:00
Charlie Somerville
32268b1710
Merge branch 'master' into charliesome/value-ref-address
2018-05-31 20:34:05 -05:00
Timothy Clem
a4e0ca6686
Fix tests and use fixtures that are easier to maintain
2018-05-31 17:20:51 -07:00
Ayman Nadeem
e030824d52
fix conflicts with new haskell additions
2018-05-31 15:32:10 -07:00
Timothy Clem
11c1ac39bb
Merge remote-tracking branch 'origin/master' into derive-ToJSONFields1
2018-05-31 10:59:07 -07:00
Timothy Clem
9baea34f5d
Generically derive ToJSONFields1 for basically everything
2018-05-31 10:56:04 -07:00
Charlie Somerville
3c38b5fa46
Merge branch 'master' into charliesome/value-ref-address
2018-05-31 11:54:44 -05:00
Rick Winfrey
9016553aaa
Merge branch 'master' into haskell-assignment
2018-05-31 11:22:45 -05:00
Timothy Clem
d05225fe61
Test fixes
2018-05-31 08:44:44 -07:00
Patrick Thomson
c4897c57c6
merge fallout
2018-05-31 00:05:32 -04:00
Patrick Thomson
d144087486
Merge remote-tracking branch 'origin/master' into text-names
2018-05-30 23:51:11 -04:00
Patrick Thomson
014b830db2
source => rawSource, tsource => source
2018-05-30 23:24:50 -04:00
Patrick Thomson
f541c42da8
Fix literals to store text internally.
2018-05-30 22:32:22 -04:00
Rick Winfrey
c49ce6d5a7
Merge branch 'master' into haskell-assignment
2018-05-30 19:21:11 -05:00
Rick Winfrey
cc3a215833
Update specialized constructors ([]
, (,)
, (->)
, ()
)
...
Also updates the `TuplingConstructor` to store its arity as Int
2018-05-30 17:17:05 -07:00
Rob Rix
6f9cfae147
Merge branch 'master' into env-effect
2018-05-30 18:57:52 -04:00
Patrick Thomson
7ba832d566
Fix tests.
2018-05-30 18:29:54 -04:00
Rob Rix
08cf65718f
Fix the evaluator spec.
2018-05-30 17:20:08 -04:00
Rob Rix
bcf9338b75
Update the language specs to respect the env-per-entry-point thing.
2018-05-30 17:19:05 -04:00
Rick Winfrey
b270130cc0
Merge branch 'master' into haskell-assignment
2018-05-30 12:33:37 -05:00
Rob Rix
f9c7f2836d
runEnv in the evaluator spec.
2018-05-30 13:03:50 -04:00
Timothy Clem
ddc4923e88
Fix tests
2018-05-30 09:53:01 -07:00
Timothy Clem
51394186f9
Merge remote-tracking branch 'origin/master' into enhanced-json-output
2018-05-30 07:50:29 -07:00
Rob Rix
6adc5d7413
Placate hlint some more.
2018-05-30 10:33:51 -04:00
Rob Rix
e9880781e5
Make sure we can load the Address module.
2018-05-30 09:51:08 -04:00
Rob Rix
f9b29f143e
And another.
2018-05-30 09:46:56 -04:00
Rob Rix
04b43477c9
🔥 a reference to Address in the spec.
2018-05-30 09:46:30 -04:00
Timothy Clem
2d08451d87
Call [] Statements
2018-05-29 14:25:31 -07:00
Charlie Somerville
b72b442e0c
WIP Merge branch 'master' into charliesome/value-ref-address
2018-05-29 16:06:45 -05:00
Rob Rix
8fc1ccaa19
Merge branch 'recursive-type-families-are-not-our-friends' into 🔥 -galign
2018-05-29 12:49:29 -04:00
Rob Rix
dda2f9897b
Merge branch 'master' into 🔥 -galign
2018-05-29 12:48:34 -04:00
Charlie Somerville
e0b4be74a9
Merge branch 'master' into charliesome/value-ref-address
2018-05-29 11:38:09 -05:00
Rob Rix
81032f34ec
Whoops.
2018-05-29 12:26:36 -04:00
Rob Rix
f5572e41ca
Use Member instead of Members everywhere!
2018-05-29 12:09:09 -04:00
Timothy Clem
2134f04ffe
Merge branch 'master' into haskell-assignment
2018-05-29 08:34:52 -07:00
Rob Rix
54150552b3
Merge branch 'master' into 🔥 -galign
2018-05-29 08:53:37 -04:00
Rob Rix
6b780d297d
Revert "These are probably integers."
...
This reverts commit d2a74b2a4ca1472976abfccc09601c60840c1761.
2018-05-28 16:06:25 -04:00
Rob Rix
0f3c7df8d1
These are probably integers.
2018-05-28 16:05:03 -04:00
Rob Rix
038d3d07eb
Test the return values
2018-05-28 15:44:48 -04:00
Rob Rix
7b02e3e64f
Correct the EnvironmentError application.
2018-05-28 15:30:19 -04:00
Rob Rix
f0c220906a
Partially apply Eff in the tests.
2018-05-28 14:48:00 -04:00
Rob Rix
cc02cfd8eb
AbstractIntro is pure.
2018-05-28 14:47:42 -04:00
Rob Rix
89b90496b7
Don’t qualify this name.
2018-05-28 14:47:20 -04:00
Rob Rix
b3b47a34df
🔥 Goto.
2018-05-28 14:42:46 -04:00