diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-01-18 16:17:04 -0800 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-01-22 12:05:15 -0800 |
| commit | 294f95dcc2ae4cd9fdcdfca90173d92ef39a4bea (patch) | |
| tree | a25489c297222f27668f1241c706798a62071e59 /testsuite/tests/backpack | |
| parent | 5d38fb69fd1e7a434ccc3147ae6a17fe0b5b0be3 (diff) | |
| download | haskell-294f95dcc2ae4cd9fdcdfca90173d92ef39a4bea.tar.gz | |
Preserve coercion axioms when thinning.
Forgot to handle these! In they go, plus a test case.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Diffstat (limited to 'testsuite/tests/backpack')
| -rw-r--r-- | testsuite/tests/backpack/should_compile/all.T | 1 | ||||
| -rw-r--r-- | testsuite/tests/backpack/should_compile/bkp50.bkp | 8 | ||||
| -rw-r--r-- | testsuite/tests/backpack/should_compile/bkp50.stderr | 4 |
3 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_compile/all.T b/testsuite/tests/backpack/should_compile/all.T index 33d0357988..9897c037a3 100644 --- a/testsuite/tests/backpack/should_compile/all.T +++ b/testsuite/tests/backpack/should_compile/all.T @@ -41,3 +41,4 @@ test('bkp46', normal, backpack_compile, ['']) test('bkp47', normal, backpack_compile, ['']) test('bkp48', normal, backpack_compile, ['']) test('bkp49', normal, backpack_compile, ['']) +test('bkp50', normal, backpack_compile, ['']) diff --git a/testsuite/tests/backpack/should_compile/bkp50.bkp b/testsuite/tests/backpack/should_compile/bkp50.bkp new file mode 100644 index 0000000000..2dcee80863 --- /dev/null +++ b/testsuite/tests/backpack/should_compile/bkp50.bkp @@ -0,0 +1,8 @@ +{-# LANGUAGE TypeFamilies #-} +unit p where + signature A where + type family F a where + F a = Int +unit q where + dependency p[A=<A>] + signature A(F) where diff --git a/testsuite/tests/backpack/should_compile/bkp50.stderr b/testsuite/tests/backpack/should_compile/bkp50.stderr new file mode 100644 index 0000000000..d8f64f0657 --- /dev/null +++ b/testsuite/tests/backpack/should_compile/bkp50.stderr @@ -0,0 +1,4 @@ +[1 of 2] Processing p + [1 of 1] Compiling A[sig] ( p/A.hsig, nothing ) +[2 of 2] Processing q + [1 of 1] Compiling A[sig] ( q/A.hsig, nothing ) |