[Haskell] Implicit Parameters in Instance Declarations

2007-05-14 Thread Ashley Yakeley
Would horrible things happen if implicit parameters were allowed as contexts in instance declarations? instance (?limit :: Int) => Eq Thing where ... -- Ashley Yakeley ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailma

Re: [Haskell] Re: ANNOUNCE: Harpy -- run-time code generation library

2007-05-14 Thread Derek Elkins
Dirk Kleeblatt wrote: apfelmus wrote: Note that even currently, your operations cannot be strict in the address a label refers to because this may be determined later than the first use of the label. In other words, your example code fac = do [...] (1) jmp loopTest [...] (2) loopTest

Re: [Haskell] Re: ANNOUNCE: Harpy -- run-time code generation library

2007-05-14 Thread Dirk Kleeblatt
apfelmus wrote: Note that even currently, your operations cannot be strict in the address a label refers to because this may be determined later than the first use of the label. In other words, your example code fac = do [...] (1) jmp loopTest [...] (2) loopTest @@ cmp ecx (0 :: Word3

Re: [Haskell] Core language inlined?

2007-05-14 Thread Stefan O'Rear
On Mon, May 14, 2007 at 03:26:34AM -0700, Marcel Manthe wrote: > > Hey, > > GHC seems to have a very powerful core language, which makes implementing > language features less painful. As further applications of Core were > mentioned: let other languages use it and build new features upon it. > >

[Haskell] Fun in the Afternoon (Cambridge, Thursday)

2007-05-14 Thread Conor McBride
Relayed from Alan Mycroft: The "Fun in the afternoon" termly functional programming event takes place in Cambridge this thurday. For more details (including travel) see: http://sneezy.cs.nott.ac.uk/fun/ STOP PRESS: Microsoft are kindly providing a buffet lunch for those arriving for 12:30 (th

[Haskell] Core language inlined?

2007-05-14 Thread Marcel Manthe
Hey, GHC seems to have a very powerful core language, which makes implementing language features less painful. As further applications of Core were mentioned: let other languages use it and build new features upon it. Here's a silly idea: Would it be possible to use Haskell and Core in parallel,

Re: [Haskell] Re: ANNOUNCE: Harpy -- run-time code generation library

2007-05-14 Thread Martin Grabmueller
apfelmus schrieb: > Also, the explicit declaration of labels has an inherent safety problem. > Namely, nobody prevents you from using a label twice, like for example in > > loopStart @@ mul exc > ... > loopStart @@ cmp ecx (0 :: Word32) Your are right. In the next version, Harpy *

[Haskell] ANN: Foreign.AppleScript version 0.1

2007-05-14 Thread Wouter Swierstra
* Foreign.AppleScript * version 0.1 I'd like to announce the first public release of Foreign.AppleScript, a library for compiling and executing AppleScript from Haskell. AppleScript is a scripting language available on all modern Apple c