Syntax for implicit parameters

[Alastair Reid]

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/