http://www.haskell.org/ghc/docs/7.8.1-rc2/html/users_guide/syntax-extns.html#explicit-namespaces is the trick
On Sat, Mar 15, 2014 at 12:47 PM, Henning Thielemann <lemm...@henning-thielemann.de> 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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
