Commit e2ab88cb authored by Simon Peyton Jones's avatar Simon Peyton Jones

Add test for Trac #7488

parent 16760dff
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE GADTs #-}
module T7488 where
newtype A = A Int
data B (x :: A)
......@@ -81,3 +81,4 @@ test('T7433', normal, compile_fail,[''])
test('T7438', normal, run_command, ['$MAKE -s --no-print-directory T7438'])
test('T7404', normal, compile_fail,[''])
test('T7502', normal, compile,[''])
test('T7488', normal, compile,[''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment