Skip to content
Snippets Groups Projects
Commit a4572b40 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Fix TcSplice after some type family related changes

Mon Sep 18 19:04:12 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fix TcSplice after some type family related changes
  Wed Aug 16 19:51:27 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Fix TcSplice after some type family related changes
parent f94a8dbd
No related branches found
No related tags found
No related merge requests found
...@@ -585,12 +585,10 @@ reifyTyCon tc ...@@ -585,12 +585,10 @@ reifyTyCon tc
| isFunTyCon tc = return (TH.PrimTyConI (reifyName tc) 2 False) | isFunTyCon tc = return (TH.PrimTyConI (reifyName tc) 2 False)
| isPrimTyCon tc = return (TH.PrimTyConI (reifyName tc) (tyConArity tc) (isUnLiftedTyCon tc)) | isPrimTyCon tc = return (TH.PrimTyConI (reifyName tc) (tyConArity tc) (isUnLiftedTyCon tc))
| isSynTyCon tc | isSynTyCon tc
= case synTyConDefn tc of = do { let (tvs, rhs) = synTyConDefn tc
Nothing -> noTH SLIT("type family") (ppr tc) ; rhs' <- reifyType rhs
Just (tvs, rhs) -> ; return (TH.TyConI $
do { rhs' <- reifyType rhs TH.TySynD (reifyName tc) (reifyTyVars tvs) rhs') }
; return (TH.TyConI $
TH.TySynD (reifyName tc) (reifyTyVars tvs) rhs') }
reifyTyCon tc reifyTyCon tc
= do { cxt <- reifyCxt (tyConStupidTheta tc) = do { cxt <- reifyCxt (tyConStupidTheta tc)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment