[Haskell-cafe] [Haskell] ANNOUNCE: notcpp-0.0.1
Steffen Schuldenzucker
sschuldenzucker at uni-bonn.de
Sun Apr 15 20:14:52 CEST 2012
On 04/13/2012 10:49 PM, Ben Millwood wrote:
> I'm pleased to announce my first genuinely original Hackage package:
> notcpp-0.0.1!
>
> http://hackage.haskell.org/package/notcpp
>
> [...]
Why is it
> scopeLookup :: String -> Q Exp
with n bound to x :: T => @scopeLookup n@ evaluates to an Exp containing
@Just x@
, not
> scopeLookup :: String -> Q (Maybe Exp)
with n bound to x :: T => @scopeLookup n@ evaluates to Just (an Exp
containing @x@)
? Shouldn't n's being in scope be a compile time decision? That would
also make the "openState: runtime name resolution has its drawbacks
:/"[1] a compile time error.
-- Steffen
[1]
http://hackage.haskell.org/packages/archive/notcpp/0.0.1/doc/html/NotCPP-ScopeLookup.html
More information about the Haskell-Cafe
mailing list