Hi,
In the function DsMeta.repE there is a format being repeated:
For example in:
repE e@(ExplicitTuple _ es boxed)
| not (all tupArgPresent es) = notHandled "Tuple sections" (ppr e)
| isBoxed boxed = do { xs <- repLEs [e | (dL->L _ (Present _ e)) <- es]
; repTup xs }
| otherwise = do { xs <- repLEs [e | (dL->L _ (Present _ e)) <- es]
; repUnboxedTup xs }
There is `(dL->L _ (Present _ e)) <- es`. I don't understand how this type
checks correctly.
If I'll try to do
data Foo a = Foo a
runQ [| Foo b <- Foo 1 |]
in ghciI get an error. What is the difference?
Yotam
_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
