David Bakin writes:
| I'm having trouble understanding recursive types (e.g., as described in
| Functional Programming with Overloading and Higher-Order Polymorphism by
| Jones.
|
| He gives as an example
|
|
| > data Mu f = In (f (Mu f))
|
| > data NatF s = Zero | Succ s
| > ty
I'm having trouble
understanding recursive types (e.g., as described in Functional Programming
with Overloading and Higher-Order Polymorphism by
Jones.
He gives as an
example
> data Mu f = In
(f (Mu f))
> data NatF s =
Zero | Succ s
> type Nat = Mu
NatF
Among the things I
don't
Mon, 21 May 2001 20:51:37 +0200, Mickaël GAUTIER <[EMAIL PROTECTED]> pisze:
> I would like to use the file stack.hs wich is provided with Hugs 98 but
> the following message errors display:
> "Haskell98 does not support restricted type synonyms"
> Can you explain me why and how I can load stack.h
Hello,
I would like to use the file stack.hs wich is provided
with Hugs 98 but the following message errors display:
"Haskell98 does not support restricted type
synonyms"
Can you explain me why and how I can load stack.hs
?
Thanks in advance
We are pleased to announce a new release of the nhc98 compiler, and
in particular its facilities (both brand new and improved old stuff)
for tracing and debugging Haskell programs - the Hat system.
The basic nhc98 compiler version 1.04 is mostly a bugfix release
(details listed at the bottom of t
CALL FOR PAPERS
Semantics, Applications and Implementation of Program Generation (SAIG'01)
PLI Workshop, September 6th, 2001.
(EXTENDED DEADLINE: June 1st, 2001)
Program generation has the prospect of being an integral part
"Taesch, Luc" <[EMAIL PROTECTED]> writes:
> the pretty print return the closing < on the next line, like
>> > where i expect
>
>
>
My guess is that HaXML doesn't validate (using the DTD) or simply
ignores it for pretty printing purposes. If the "Person-XML" e
Im proceeding with basic exploratory tests witrh HaXml (1.02, winhugs feb 2001)
the pretty print return the closing < on the next line, like
what am i doing wrong ?
( the call is like
import qualified XmlPP as PP
...
main =
do
content <- re
