Commit 696798a1 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #7386

parent 897415c0
{-# LANGUAGE GADTs, DataKinds, KindSignatures, TypeFamilies, PolyKinds #-}
module T7386 where
data Nat = Zero | Succ Nat
data family Sing (a :: k)
data instance Sing (a :: Nat) where
SZero :: Sing Zero
SSucc :: Sing n -> Sing (Succ n)
:l T7386.hs
let x = SSucc SZero
:f x
......@@ -86,3 +86,4 @@ test('hist001', normal, ghci_script, ['hist001.script'])
test('2740', normal, ghci_script, ['2740.script'])
test('getargs', normal, ghci_script, ['getargs.script'])
test('T7386', normal, ghci_script, ['T7386.script'])
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