Commit 8fe929f0 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #5937

parent 470382ed
{-# LANGUAGE PolyKinds, KindSignatures, DataKinds, GADTs #-}
module T5937 where
data SMaybe :: (k -> *) -> Maybe k -> * where
SNothing :: SMaybe s 'Nothing
SJust :: s a -> SMaybe s ('Just a)
......@@ -29,4 +29,5 @@ test('T5862', normal, compile, [''])
test('T5912', normal, compile, [''])
test('T5881', normal, run_command, ['$MAKE -s --no-print-directory T5881'])
test('T5716', normal, compile_fail, [''])
test('T5937', 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