Commit 79a5afb6 authored by Andrew Martin's avatar Andrew Martin Committed by Ben Gamari

Test that hsc2hs works with promoted data constructors

parent 6da9f4c8
......@@ -41,6 +41,11 @@ T10272:
'$(TEST_HC)' $(TEST_HC_OPTS) -v0 --make $@
./$@
.PHONY: T11004
T11004:
LANG=C '$(HSC2HS)' $@.hsc
'$(TEST_HC)' $(TEST_HC_OPTS) -c $@.hs
.PHONY: T12504
T12504:
'$(HSC2HS)' T12504/path/to/$@.hsc
......
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
module T11004 where
import Data.Kind (Type)
data Foo = Foo' | Bar
data Indexed :: Foo -> Type where
IndexedA :: Indexed ' Foo'
IndexedB :: Indexed 'Bar
......@@ -14,6 +14,8 @@ test('T4340', [], run_command, ['$MAKE -s --no-print-directory T4340'])
test('T10272', [], run_command, ['$MAKE -s --no-print-directory T10272'])
test('T11004', [], run_command, ['$MAKE -s --no-print-directory T11004'])
test('T12504', [extra_files(['T12504']), ignore_stdout], run_command,
['$MAKE -s --no-print-directory T12504'])
......
Subproject commit a816333ae67c54b98cce4ed22621242714967b3e
Subproject commit fac8b62e48f4c99cfe8f3efff63c8fcd94b2a1d6
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