HOR'04: first call for abstracts

2003-12-22 Thread Femke van Raamsdonk
* * * HOR'04 CALL FOR ABSTRACTS * * * 2nd international Workshop on Higher-Order Rewritin

Re: let-where difference

2003-12-22 Thread Tomasz Zielonka
On Mon, Dec 22, 2003 at 07:15:32AM -0800, Hal Daume III wrote: > Let is part of an expression, whereas where is part of a declaration. > Your first program should be rejected, since lists can only be made up of > expressions. That is, the 'where' in example 1 *must* come after the > entire exp

Re: let-where difference

2003-12-22 Thread Hal Daume III
Let is part of an expression, whereas where is part of a declaration. Your first program should be rejected, since lists can only be made up of expressions. That is, the 'where' in example 1 *must* come after the entire expression [ 1, 2, ... ] so that it can be part of the declaration of f.

let-where difference

2003-12-22 Thread Serge D. Mechveliani
The program f = [ 1, 2, (a+b where a = 1 b = 2 ) ] is qualified by some compilers as a wrong syntax. And f = [ 1, 2, (let a = 1 b = 2 in a+b ) ] is accepted. What ma