order of evalutation of ||

1998-05-29 Thread Alex Ferguson
S. Alexander Jacobson wonders: If you have a statement like: result= a || b || c does Haskell guarantee that a gets evaluated before b? Indeed it does, for see the standard Prelude definition of (||): True || _ = True False || x = x Hope that helps. Slainte, Alex.

Re: Pattern Match Success Changes Types

1998-05-29 Thread Fergus Henderson
On 28-May-1998, Adrian Hey [EMAIL PROTECTED] wrote: A strong type system is supposed to prevent runtime errors. Thus it makes sense to disallow anything that might result in an attempt to access an unbound type. Yes, but in the cases we've been talking about we know that there will be

Re: order of evalutation of ||

1998-05-29 Thread Simon L Peyton Jones
If you have a statement like: result= a || b || c does Haskell guarantee that a gets evaluated before b? If it does then I only have to protect against pattern match failure in one place, a. Yes; if a is true, b and c won't be evaluated. That's part of the defn of || Simon

Re: order of evalutation of ||

1998-05-29 Thread Arjan van Ijzendoorn
Hello Alexander, If you have a statement like: result= a || b || c It is better to speak of 'declarations'. There are no statements in Haskell. does Haskell guarantee that a gets evaluated before b? Yes, it does. You can think of (||) being defined as: (||) :: Bool - Bool - Bool True

FM'99 World Congress on Formal Methods

1998-05-29 Thread Dines Bjorner
May 29, 1998 Version FM'99: World Congress on Formal Methods -- in the Development of Computing Systems ---

Re: order of evalutation of ||

1998-05-29 Thread Martin Norb├Ąck
-BEGIN PGP SIGNED MESSAGE- On Thu, 28 May 1998, S. Alexander Jacobson wrote: If you have a statement like: result= a || b || c does Haskell guarantee that a gets evaluated before b? If it does then I only have to protect against pattern match failure in one place, a. Yes, the

Preliminary Announcement and CFP: COORDINATION 99

1998-05-29 Thread Farhad . Arbab
Advanced apologies in case you receive more than one copy of this.--fa Preliminary Announcement and Call for Papers COORDINATION '99 Third International Conference on

Last CFP: WS on Principles of Abstract Machines

1998-05-29 Thread Stephan Diehl
___ My apologies if you receive this more than once! ___ -- LAST CALL FOR

ANNOUNCE: GHC Version 3.02

1998-05-29 Thread Simon Marlow
The Glasgow Haskell Compiler -- version 3.02 == We are pleased to announce a new release of the Glasgow Haskell Compiler (GHC), version 3.02. The source distribution is freely available via the World-Wide Web and through

Re: cycles in class definitions

1998-05-29 Thread Simon L Peyton Jones
class Fallible m where fail_ :: String - m a rethrow:: Fallible n = m a - n b GHC 2.10 (solaris) complains about this: Cycle.lhs:2: Cycle in class declarations ... `Fallible' Cycle.lhs:4 Whereas Hugs (jan98) is fine with it. I didn't see anything in the

Re: Failed Building H/Direct

1998-05-29 Thread Sigbjorn Finne
Sven Panne writes: Thomas Hoefer wrote: I downloaded H/Direct as a source, adapted it to my settings and then typed "make all". [...] ld: fatal: symbol `main' is multiply defined: (file mkNativeInfo.o and file /usr/local/lib/libHSrts.a(main.o)); ld: fatal: File processing

ANNOUNCE: GHC Versiomn 3.02

1998-05-29 Thread Simon Marlow
The Glasgow Haskell Compiler -- version 3.02 == We are pleased to announce a new release of the Glasgow Haskell Compiler (GHC), version 3.02. The source distribution is freely available via the World-Wide Web and through