Mike Jones wrote:
I get this error with 4.05. If it is important, I can send source.
c:/tmp/ghc5016.hc:30113: warning: `X1Z_closure' was declared
`extern' and later `static'
This is one of GHC's classics. But it isn't a real error, only a
warning from the C compiler, which you can safely
Mike Jones wrote:
I get this error with 4.05. If it is important, I can send source.
c:/tmp/ghc5016.hc:30113: warning: `X1Z_closure' was declared
`extern' and later `static'
This is one of GHC's classics. But it isn't a real error, only a
warning from the C compiler, which you can
Hi!
After some months of silence, finally I made a snapshot of the weekend's CVS
version of GHC for Debian available.
As usual, it's compiled with "everything on", including a full set of
profiling libs in an additional package. If I recall correctly from a GHC HQ
mail, profiling is (at least
Socket.accept function returns a PortNumber as its third argument. (This
is not what the interface comment says, but the comment is wrong.) However
I can't find any way of extracting the contents of the PortNumber to an
integer.
Socket.accept function returns a PortNumber as its third
argument. (This
is not what the interface comment says, but the comment is
wrong.) However
I can't find any way of extracting the contents of the
PortNumber to an
integer.
I've just added instances of Ord, Enum, Real and
Hi!
I'm not quite sure, whether this is a bug at all, so maybe someone can
explain this behaviour to me:
Consider the following piece of code:
\begin{code}
import Exception
foo = do
res - tryAll (someObscureComputationThatThrowsErrors)
putStr "This is immediately printed: "
print res
I'm not quite sure, whether this is a bug at all, so maybe someone can
explain this behaviour to me:
Consider the following piece of code:
\begin{code}
import Exception
foo = do
res - tryAll (someObscureComputationThatThrowsErrors)
putStr "This is immediately printed: "
Hello all,
I wanted to recompile some old programs with the
latest ghc from CVS. MutableArray wasn't known any
more. I do import GlaExts. What am I missing?
Regards,
Marc van Dongen
--
Marc van Dongen, CS Dept | phone: +353 21 4903578
University College Cork, NUIC | Fax:+353 21
On Mon, May 08, 2000 at 07:30:18 -0700, Simon Marlow wrote:
If you embed the (error "BANG") inside a data structure, then it can indeed
excape from the tryAll because seq only evaluates to WHNF.
Thanks a bunch, that pointed me in the right direction!
tryAll (runST (return (error
Concerning the sample argument approach,
Marc van Dongen [EMAIL PROTECTED] writes on May 8 2000
I am not sure if I understand this but I also used
zero :: a - a
to create polynomials as opposed to a function
zero :: a
The application
zero p
created a zero polynomial with certain
Fergus Henderson [EMAIL PROTECTED] writes:
Also one writes, for example, zero x
instead of zero `asTypeOf` x.
`asTypeOf` is effectively a builtin language construct that just
happens to be implemented as a function in the standard
I wrote on Fergus's example with Alfred, Betty ...
type T a = T ...
instance Additive (T a) where
(T x)+(T y) = T (x+y)
...
It should be data T a ...
instance Additive
S.D.Mechveliani ([EMAIL PROTECTED]) wrote:
: I wrote to list, and you reply privately.
Ooops. I thought I group replied. I'll forward to
the list.
: I think that it is good for the list to know that someone else
: appreciates the need of dynamic parameters in domain ...
Which is why I decided
Sorry about this. I thought I group replied when
replied Sergey's e-mail.
--
Marc van Dongen, CS Dept | phone: +353 21 4903578
University College Cork, NUIC | Fax:+353 21 4903113
College Road, Cork, Ireland | Email: [EMAIL PROTECTED]
- Forwarded message from Marc van Dongen
[Reminder: Deadline in two weeks.]
LAST CALL FOR PAPERS
Semantics, Applications and Implementation
of Program Generation (SAIG)
ICFP
Marc Van Dongen
writes about the need of constant :: a - b -
and explains that it is needed, for example, to convert constant
to polynomial.
I consider this as kind of support for the
Domain conversion proposal in basAlgPropos, section 'dcon'.
It suggests
S.D.Mechveliani ([EMAIL PROTECTED]) wrote:
[I cc'd this to haskell as well]
: this is exactly the Domain conversion proposal, described in
: basAlgPropos. class Cast a b where cast :: a - b - a.
: The first argument is the sample for domain. The second casts to
: `a' after the given sample.
Why are type constructors and classes in the same namespace?
Because otherwise the syntax
module M ( T ) where
would be ambiguous. I suppose it could be resolved to mean "export the
class and/or data type T". It was proposed for Haskell 98 that the syntax
be changed to
Dear Haskell folks,
There's a web server written in Haskell running on haskell.org:
http://www.haskell.org:8080/
Please surf on over and press reload a few times. First one to bring it
down gets a gold star. I'll be watching the logs :-)
The source (not properly packaged, just
George writes:
There is no problem with Showing functions with finite domains.
For example, try:
module ShowFun where
instance (Show a) = Show (Bool - a) where
show f = show ((f True),(f False))
instance (Show a) = (Show (Int - a))
Why stop there? Eq and Read too, though they do
I have a very simple question. What is the best way to
convert a float to a double?
I use fromRational.toRational, and the notes in the prelude
seem to imply that this is optimized into something sensible..
is this the way?
Cheers! + Ron Legere
Hi,
I am having trouble with Show and tuples.
I have a data structure, say:
data MyData = ...
And a value, say:
value = (MyData..., MyData..., MyData)
Then try to:
show value
I get a compiler message from ghc 4.05 that says:
No instance for `Show (MyData, MyData, MyData)...
What is the
22 matches
Mail list logo