diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-12-26 09:11:33 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-12-26 14:00:49 -0500 |
| commit | 52da6bdc17bb491d6d2f462b3680eb44b9be92e5 (patch) | |
| tree | 7affc42207fa1897324855767d5de6ff8dbb8c46 /testsuite/tests/dependent/should_compile/all.T | |
| parent | 1411eaf1bb75e549331d3b1a2d3152702d2c054c (diff) | |
| download | haskell-52da6bdc17bb491d6d2f462b3680eb44b9be92e5.tar.gz | |
Have mkCastTy look more closely for reflexivity.
This may have performance implications.
Diffstat (limited to 'testsuite/tests/dependent/should_compile/all.T')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/dependent/should_compile/all.T b/testsuite/tests/dependent/should_compile/all.T index e1e064a1c3..1063b6ec94 100644 --- a/testsuite/tests/dependent/should_compile/all.T +++ b/testsuite/tests/dependent/should_compile/all.T @@ -10,3 +10,4 @@ test('RaeBlogPost', normal, compile, ['']) test('mkGADTVars', normal, compile, ['']) test('TypeLevelVec',normal,compile, ['']) test('T9632', normal, compile, ['']) +test('dynamic-paper', normal, compile, ['']) |