Hi Richard,
Thanks for taking this up! One question: won't we need syntax for arbitrary
promoted constructors (other than lists and tuples) in TH's Type datatype?
Also, is the Constraint kind already in TH? If not, this might be a good
time to add it too.
Cheers,
Pedro
On Mon, Mar 19, 2012 at
Hi,
ghc --interactive now behaves different in regards to line numbers in
error messages than previous versions.
They are now incremented with each evaluated expression.
$ ghc --interactive -ignore-dot-ghci
Prelude foo
interactive:2:1: Not in scope: `foo'
Prelude bar
Yes, we will, but this is already support through the use of ConT.
The namespaces of defined types and of promoted types are also already
kept distinct. The one update we would want here is an extension to the
name quoting syntax. I've updated the Wiki page with my thoughts and
plans here: