On Jan 28, 2016, at 5:48 PM, Ömer Sinan Ağacan <[email protected]> wrote: > > | Just (tc, args) <- splitTyConApp_maybe ty > , isUnboxedTupleTyCon tc > = pprTrace "elimUbxSumRepTypes" > (text "orig args:" <+> ppr args $$ > text "dropWhile isLevityTy args = " <+> ppr (dropWhile > isLevityTy args)) $ > concatMap go (drop (length args `div` 2) args)
You want (dropWhile (isLevityTy . typeKind) args). isLevityTy simply checks if its argument is exactly `Levity`. Does that work? Richard _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
