Commit c27e722f authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Comments

parent 8163c990
......@@ -218,10 +218,8 @@ It's a bit more complicated if the data instance is a GADT as well!
data instance T [a] where
T1 :: forall b. b -> T [Maybe b]
Hence
Co7T a :: T [a] ~ :R7T a
Now we want
Hence we translate to
-- Wrapper
$WT1 :: forall b. b -> T [Maybe b]
......@@ -231,6 +229,9 @@ Now we want
-- Worker
T1 :: forall c b. (c ~ Maybe b) => b -> :R7T c
-- Coercion from family type to representation type
Co7T a :: T [a] ~ :R7T a
\begin{code}
mkDataConIds :: Name -> Name -> DataCon -> DataConIds
mkDataConIds wrap_name wkr_name data_con
......
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