Commit 11619322 authored by Ömer Sinan Ağacan's avatar Ömer Sinan Ağacan Committed by Ben Gamari

Add T11747 as a test

Reviewers: bgamari, austin

Subscribers: thomie

Differential Revision:

GHC Trac Issues: #11747
parent 116d3fe6
{-# LANGUAGE GADTs, RankNTypes, ScopedTypeVariables, Strict, TypeApplications
import Data.Typeable
zero :: forall x. Typeable x => Maybe x
zero = do
Refl <- eqT @Int @x
pure 0
main :: IO ()
main = print (zero @())
......@@ -52,3 +52,4 @@ test('DsStrictLet', normal, compile_and_run, ['-O'])
test('T11193', exit_code(1), compile_and_run, [''])
test('T11572', exit_code(1), compile_and_run, [''])
test('T11601', exit_code(1), compile_and_run, [''])
test('T11747', normal, compile_and_run, ['-dcore-lint'])
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment