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 |
|
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 |
|
Ayman Nadeem
|
e9b5bdf7da
|
text fixtures
|
2018-06-01 14:09:56 -07:00 |
|