From 17bd163566153babbf51adaff8397f948ae363ca Mon Sep 17 00:00:00 2001
From: mynguyen <mnguyen1@brynmawr.edu>
Date: Tue, 18 Dec 2018 11:52:26 -0500
Subject: Visible kind application

Summary:
This patch implements visible kind application (GHC Proposal 15/#12045), as well as #15360 and #15362.
It also refactors unnamed wildcard handling, and requires that type equations in type families in Template Haskell be
written with full type on lhs. PartialTypeSignatures are on and warnings are off automatically with visible kind
application, just like in term-level.

There are a few remaining issues with this patch, as documented in
ticket #16082.

Includes a submodule update for Haddock.

Test Plan: Tests T12045a/b/c/TH1/TH2, T15362, T15592a

Reviewers: simonpj, goldfire, bgamari, alanz, RyanGlScott, Iceland_jack

Subscribers: ningning, Iceland_jack, RyanGlScott, int-index, rwbarton, mpickering, carter

GHC Trac Issues: `#12045`, `#15362`, `#15592`, `#15788`, `#15793`, `#15795`, `#15797`, `#15799`, `#15801`, `#15807`, `#15816`

Differential Revision: https://phabricator.haskell.org/D5229
---
 testsuite/tests/th/ClosedFam2TH.hs | 32 +++++++++++++++++++++++++++-----
 1 file changed, 27 insertions(+), 5 deletions(-)

(limited to 'testsuite/tests/th/ClosedFam2TH.hs')

diff --git a/testsuite/tests/th/ClosedFam2TH.hs b/testsuite/tests/th/ClosedFam2TH.hs
index 2a8b3b4ab6..2237aba651 100644
--- a/testsuite/tests/th/ClosedFam2TH.hs
+++ b/testsuite/tests/th/ClosedFam2TH.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TemplateHaskell, TypeFamilies, PolyKinds #-}
+{-# LANGUAGE TemplateHaskell, TypeFamilies, PolyKinds, TypeApplications #-}
 
 module ClosedFam2 where
 
@@ -12,12 +12,12 @@ $( return [ ClosedTypeFamilyD
                 ( TyVarSig (KindedTV (mkName "r") (VarT (mkName "k"))))
                 Nothing)
               [ TySynEqn Nothing
-                         [ (VarT (mkName "a"))
-                         , (VarT (mkName "a")) ]
+                         (AppT (AppT (ConT (mkName "Equals")) (VarT (mkName "a")))
+                               (VarT (mkName "a")))
                          (ConT (mkName "Int"))
               , TySynEqn Nothing
-                         [ (VarT (mkName "a"))
-                         , (VarT (mkName "b")) ]
+                         (AppT (AppT (ConT (mkName "Equals")) (VarT (mkName "a")))
+                               (VarT (mkName "b")))
                          (ConT (mkName "Bool")) ] ])
 
 a :: Equals b b
@@ -25,3 +25,25 @@ a = (5 :: Int)
 
 b :: Equals Int Bool
 b = False
+
+$( return [ ClosedTypeFamilyD
+               (TypeFamilyHead
+                (mkName "Foo")
+                [ KindedTV (mkName "a") (VarT (mkName "k"))]
+                (KindSig StarT ) Nothing )
+                [ TySynEqn Nothing
+                           (AppT (AppKindT (ConT (mkName "Foo")) StarT)
+                                 (VarT (mkName "a")))
+                           (ConT (mkName "Int"))
+                , TySynEqn Nothing
+                           (AppT (AppKindT (ConT (mkName "Foo")) (AppT (AppT ArrowT StarT) (StarT)))
+                                 (VarT (mkName "a")))
+                           (ConT (mkName "Bool")) ] ])
+c :: Foo Int
+c = 5
+
+d :: Foo Bool
+d = 6
+
+e :: Foo Maybe
+e = False
-- 
cgit v1.2.1