Syntax for implicit parameters

[Simon Peyton-Jones]

I only added 'with' because I did not want to steal *two* new keywords.
One is bad enough!   I proposed using 'let' (not dlet), with the '?' to
distinguish dynamic from lexical bindings, but did not achieve
consensus.

Lack of consensus => the status quo stays.  

My order of preference:

1. [happy]. Use 'let'
2. [consent].  Use 'dlet' or 'with'
3. [hate]  Use both 'dlet' and 'with'

Would the Hugs folk be willing to adopt (2)?

Simon

| -----Original Message-----
| From: Alastair Reid [mailto:reid at cs.utah.edu]
| Sent: 18 April 2001 18:31
| To: hugs-bugs at haskell.org; glasgow-haskell-bugs at haskell.org
| Subject: 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 at cs.utah.edu        
http://www.cs.utah.edu/~reid/

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs