Re: importing (<=) from GHC.TypeLits

http://www.haskell.org/ghc/docs/7.8.1-rc2/html/users_guide/syntax-extns.html... is the trick On Sat, Mar 15, 2014 at 12:47 PM, Henning Thielemann wrote:

I want to import Nat and type-level (<=) from GHC.TypeLits:

import GHC.TypeLits (Nat, (<=))

"Nat" is found this way, but (<=) is not:

Module ‘GHC.TypeLits’ does not export ‘(<=)’

What is the trick?

The doc only shows the anonymous import:

http://www.haskell.org/ghc/docs/7.8.1-rc2/html/users_guide/promotion.html _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users