2016-01-29 3:36 GMT-05:00 Simon Peyton Jones <simo...@microsoft.com>: > > So you need something like > > isLevityCon :: Type -> Bool > isLevityCon (TyConApp tc []) = isLevityTy (tyConKind tc) > .. > > Please document both functions carefully > > ALSO there is a bug in isLevityTy; it is missing a coreView test. Would you > like to fix this?
Just submitted a patch: https://phabricator.haskell.org/D1867 _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs