During development some toy base library I found impossible to use
Numeric literals. Quick search showed, that one need both fromInteger in
scope (reasonable) and, as I understand, access to Integer type from
'base' package ('base' for clarity later). It is perfectly reasonable if
we assume that every module must depend on 'base'. However, with
ghc-prim and NoIplicitPrelude it is not necessary this way. One may wish
to drop 'base' dependency entirely. Currently, the only workaround I
found is to use cast from string literals (that works perfectly okay) or
use unboxed literals like 0xBB## (of unboxed type). Both solutions look
dirty, especially in pattern guards.
Is there any better solution or movement to improve RebindableSyntax
facilities ? for example, moving out classes for RebindableSyntax into
ghc-prim package and tuning them so all syntax facilities in base could
be defined in terms of RebindableSyntax would be great.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
