On 01/09/2011, at 19:26 , Erik de Castro Lopo wrote: > Ben, > > I'm working on bug #173 about parsing extra type annotations like > this: > > main = println $ show [ (1::Int) .. 10 ] > > I've tracked down the part of the parser that needs to be fixed, > but the current AST doesn't seem to have a way to add a type to > a literal. > > Suggestions?
Ok, I added a comment to the ticket. We should add an XType constructor to the source language, but push type annotations into the annotation field in the desugared language when converting it. Ben. -- Disciple-Cafe mailing list http://groups.google.com/group/disciple-cafe
