bugGuile - Bugs: bug #25519, Double currying does not work

 
 

bug #25519: Double currying does not work

Submitted by:  None
Submitted on:  Sun 08 Feb 2009 11:30:56 PM UTC  
 
Category: NoneSeverity: 3 - Normal
Item Group: NoneStatus: Fixed
Privacy: PublicAssigned to: None
Open/Closed: Closed

Add a New Comment(Rich Markup)
   

You are not logged in

Please log in, so followups can be emailed to you.

 

Thu 08 Apr 2010 09:59:35 PM UTC, comment #4:

Fixed in 1.9.10 in (ice-9 curried-definitions).

http://git.savannah.gnu.org/cgit/guile.git/commit/?id=9225df3c551c9b28cf16f5c4aab8cf1183f44577

Ludo'.

Ludovic Courtès <civodul>
Project Administrator
Mon 09 Feb 2009 08:17:01 PM UTC, comment #3:

Hmm, you're right. The only mention of this behavior in the manual is in the "define* Reference" node, so I guess the manual will need to be improved as well.

(Reopening the bug.)

Ludovic Courtès <civodul>
Project Administrator
Mon 09 Feb 2009 07:55:54 PM UTC, comment #2:

I'm not sure that's right. Currying is a well known and unambiguous extension to the R5RS syntax, and I believe that Guile has supported it for ages. There are lots of mentions in the manual, and we have tests for it in test-suite/tests/syntax.test.

So I think something more specific has gone wrong here.

Neil Jerram <ossau>
Project Administrator
Mon 09 Feb 2009 04:44:45 PM UTC, comment #1:

No, it shouldn't work, according to R5RS Section 7.1.6 "Programs and definitions", where the formal syntax of a definition is specified as:

<definition> -> (define <variable> <expression>)
| (define (<variable> <def formals>) <body>)
| (begin <definition>*)

Thanks,
Ludo'.

Ludovic Courtès <civodul>
Project Administrator
Sun 08 Feb 2009 11:30:56 PM UTC, original submission:

The following does not work, but should:

(define ((f x) y) (+ x y))
((f 2) 3)

(the definition gives an invalid syntax error).

Anonymous

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach File(s):
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -unavailable- added by ossau (Posted a comment)
  • -unavailable- added by civodul (Posted a comment)
  •  

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    Follow 4 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Thu 08 Apr 2010 09:59:35 PM UTCcivodulStatusNone=>Fixed
      Open/ClosedOpen=>Closed
    Mon 09 Feb 2009 08:17:01 PM UTCcivodulOpen/ClosedClosed=>Open
    Mon 09 Feb 2009 04:44:45 PM UTCcivodulOpen/ClosedOpen=>Closed

    Back to the top


    Powered by Savane 3.1-cleanup1