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 |
|
Rob Rix
|
282c02fbbd
|
Embed the evaluating action into the closure body.
|
2018-05-28 14:11:08 -04:00 |
|
Rob Rix
|
a01e723b31
|
Run ValueErrors in TermEvaluator.
|
2018-05-28 09:55:01 -04:00 |
|
Rob Rix
|
015b74cf41
|
Give Value a term type parameter once more.
|
2018-05-28 09:35:42 -04:00 |
|
Rob Rix
|
a2135fda74
|
Don’t use overloaded lists.
|
2018-05-28 09:35:03 -04:00 |
|