Syntax for implicit parameters

Some months ago, there was talk about making sure GHC and Hugs use the same syntax for implicit parameters and (most importantly) that that syntax should not introduce the keyword "with". As far as I can see (from looking at both parsers and trying examples), this discussion has not been acted on. Hugs seems to allow: dlet ?x = 'a' in ?x + 1 ?x + 1 with ?x = 'a' and GHC 5.0 only seems to support: ?x + 1 with ?x = 'a' Can the GHC people, the Hugs people and the implicit parameter designers come to some sort of agreement and implement the result? -- Alastair Reid reid@cs.utah.edu http://www.cs.utah.edu/~reid/