a reliable way of dropping levity args?
Ömer Sinan Ağacan
omeragacan at gmail.com
Fri Jan 29 14:48:52 UTC 2016
2016-01-29 3:36 GMT-05:00 Simon Peyton Jones <simonpj at 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
More information about the ghc-devs