Re: lifting functions to tuples?

2003-11-21 Thread Tim Sweeney
In case this is of interest, there is another novel way that a language might support liftTup in full generality. Example code: > LiftTup(f:function)(a:f.dom,b:f.dom)={f(a),f(b)} > f(x:int)=x+1 > LiftTup(f)(3,7) {4,8} > LiftTup(caps)("Hello","Goodbye") {"HELLO","GOODBYE"} Here, the type system

Re: ghc, FFI and autotools

2003-11-21 Thread Remi Turk
On Fri, Nov 21, 2003 at 10:49:43PM +1100, Lloyd Allison wrote: > We are trying to build and call some Haskell code > in and from from the open-src spreadsheet "gn'meric". > It seems that it could be a good basis for experiments in FP + SSs. Hi, I'm afraid I don't have anything helpful to say, as

WS-FM 2004 Second Call For Papers

2003-11-21 Thread Mario Bravetti
== 1st International Workshop on Web Services and Formal Methods (WS-FM 2004) February 23, 2004, Pisa, Italy Workshop affiliated to COO

Re: Haddock and Template Haskell

2003-11-21 Thread Wolfgang Jeltsch
Am Freitag, 21. November 2003, 13:42 schrieb Simon Marlow: > [...] Hello again, thanks for your response. > There are two issues: > > Q. Will Haddock parse a file containing Template Haskell code? > A. No, the parser doesn't currently understand the TH extensions. Is it planned to let it unde

RE: Haddock and DocBook

2003-11-21 Thread Simon Marlow
> the Haddock documentation says: > -S, --docbook > Reserved for future use (output documentation in SGML > DocBook format). > I would appreciate very much if the output wouldn't be just > in SGML DocBook > but in XML DocBook format. Would it be possible to implement > it this way?

ghc, FFI and autotools

2003-11-21 Thread Lloyd Allison
We are trying to build and call some Haskell code in and from from the open-src spreadsheet "gn'meric". It seems that it could be a good basis for experiments in FP + SSs. We have worked through the simple FFI examples and can create small C+Haskell stand-alone programs. However, gnu'eric is qui

RE: Haddock and Template Haskell

2003-11-21 Thread Simon Marlow
> is Haddock compatible with Template Haskell or does it get > confused by $(...) > syntax? If it is compatible, how does the documentation of > TH-generated code look? There are two issues: Q. Will Haddock parse a file containing Template Haskell code? A. No, the parser doesn't currently

Haddock and DocBook

2003-11-21 Thread Wolfgang Jeltsch
Hello, the Haddock documentation says: -S, --docbook Reserved for future use (output documentation in SGML DocBook format). I would appreciate very much if the output wouldn't be just in SGML DocBook but in XML DocBook format. Would it be possible to implement it this way? Wolfgang

Haddock and Template Haskell

2003-11-21 Thread Wolfgang Jeltsch
Hello, is Haddock compatible with Template Haskell or does it get confused by $(...) syntax? If it is compatible, how does the documentation of TH-generated code look? Wolfgang ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman