[Haskell-cafe] Re: ANN: nano-hmac 0.2.0

2008-02-12 Thread Hitesh Jasani
Adam Langley imperialviolet.org> writes: > Just a heads up; PHO has written nice bindings to much of OpenSSL: > > http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HsOpenSSL-0.3.1 Thanks for pointing it out. It looks like PHO has done some good work there. - Hitesh

[Haskell-cafe] Re: ANN: nano-hmac 0.2.0

2008-02-12 Thread Hitesh Jasani
Don Stewart galois.com> writes: > > Shall we merge nano-md5 into this lib, and deprecate nano-md5 itself? > Seems like a good time to consolidate, and produce a single openssl > binding. > It's tempting, but I would really hate to lose nano-md5 as it is today. I thought your concept was a gr

Re: [Haskell-cafe] Re: Implementing fixed-sized vectors (using datatype algebra?)

2008-02-12 Thread Wolfgang Jeltsch
Am Montag, 11. Februar 2008 21:44 schrieben Sie: > Alfonso Acosta wrote: > >> So type-level + parametrized-data is my vote. But don't let's spend too > >> much time discussing the name. ;-) > > > > Fair enough. type-level + parameterized-data it is then (unless > > someone else has a better sugges

Re: [Haskell-cafe] Haskell Weekly News - February 10, 2008

2008-02-12 Thread Wolfgang Jeltsch
Am Montag, 11. Februar 2008 14:44 schrieb Ross Paterson: > On Mon, Feb 11, 2008 at 02:24:19PM +0100, Wolfgang Jeltsch wrote: > > Am Montag, 11. Februar 2008 02:09 schrieb Don Stewart: > > > […] > > > > > > * Imlib 0.1.1. Uploaded by Cale Gibbard. [120]Imlib: Added by > > >CaleGibbard,

[Haskell-cafe] question about STM and IO

2008-02-12 Thread John Lato
Hello, I was recently looking at the STM library, and I have a question about the function "unsafeIOToSTM". Can anyone explain to me what is unsafe about it, and what sort of use would be considered "safe"? Thanks, John ___ Haskell-Cafe mailing list Has

[Haskell-cafe] Foreign.C.Types question ...

2008-02-12 Thread Galchin Vasili
Hello, http://cvs.haskell.org/Hugs/pages/libraries/base/Foreign-C-Types.html .. I want to look at the actual code for these C types so that I can see how the instances of Storable for each type are coded so e.g. I can see how sizeOf/allignment are coded. Thanks, Vasili __

Re: [Haskell-cafe] ANN: nano-hmac 0.2.0

2008-02-12 Thread Don Stewart
Ok, I'll leave it up there as a separate package then. :) -- Don hitesh.jasani: > Don, > > It's tempting, but I would really hate to lose nano-md5 as it is > today. I thought your concept was a great idea to inspire people to > start small to get a feel for developing Haskell libraries. The >

[Haskell-cafe] getSymbolicLinkStatus completely broken on some 6.8.2 systems

2008-02-12 Thread Jeremy Shaw
Hello, I get funny results when I call getSymbolicLinkStatus in ghc 6.8.2 on Ubuntu 7.10. This happens on several systems and has been confirmed by other people. Though, some people on almost the exact same system claimed to not see it at all. Here is an interactive example with ghci, note how the

Re: [Haskell-cafe] Windows, or GHC?

2008-02-12 Thread Neil Mitchell
Hi > The following code will on Linux print three strings each followed by a NULL > byte: > > module Main where > > putStr0 = putStr $ s ++ "\0" > > main = do > putStr0 "Hello" > putStr0 "Hello" > putStr0 "Hello" > > On Windows however it will print nothing! You missed out an s in pu

[Haskell-cafe] Re: Export Haskell Libraries

2008-02-12 Thread Joe
SevenThunders wrote: > ... Really > all that's needed though is a tool that can automagically wrap a homegrown > static or even dynamic library that contains the needed components of the > GHC run time library along with the additional user code. I know all the > object files are available as are

[Haskell-cafe] Haddock documentation of Data.Array.* is confusing

2008-02-12 Thread Alfonso Acosta
Hi, Excuse me for the subject, but IMHO is absolutely true. Anyhow, the purpose of this message is not merely to rant about it (which I know doesn't help) but to illustrate the possible impression of a Haskell newcomers. It's been a long long time since I last used arrays in Haskell (lists are no

Re: [Haskell-cafe] Foreign.C.Types question ...

2008-02-12 Thread Brandon S. Allbery KF8NH
On Feb 12, 2008, at 14:24 , Galchin Vasili wrote: http://cvs.haskell.org/Hugs/pages/libraries/base/Foreign-C- Types.html .. I want to look at the actual code for these C types so that I can see how the instances of Storable for each type are coded so e.g. I can see how sizeOf/allignmen

Re: [Haskell-cafe] Windows, or GHC?

2008-02-12 Thread Svein Ove Aas
2008/2/12 Magnus Therning <[EMAIL PROTECTED]>: > The following code will on Linux print three strings each followed by a NULL > byte: > > module Main where > > putStr0 = putStr $ s ++ "\0" > > main = do > putStr0 "Hello" > putStr0 "Hello" > putStr0 "Hello" > > On Windows however it wil

Re: [Haskell-cafe] question about STM and IO

2008-02-12 Thread John Lato
Thanks. Both this answer and Luke's make perfect sense. John On Feb 12, 2008 12:41 PM, Stephan Friedrichs <[EMAIL PROTECTED]> wrote: > Hello, > > > John Lato wrote: > > I was recently looking at the STM library, and I have a question about > > the function "unsafeIOToSTM". Can anyone explain to

Re: [Haskell-cafe] A question about "monad laws"

2008-02-12 Thread Luke Palmer
2008/2/12 Uwe Hollerbach <[EMAIL PROTECTED]>: > Well... I dunno. Looking at the source to GHC.Real, I see > > infinity, notANumber :: Rational > infinity = 1 :% 0 > notANumber = 0 :% 0 > > This is actually the reason I imported GHC.Real, because just plain % > normalizes the rational number it cr

Re: [Haskell-cafe] question about STM and IO

2008-02-12 Thread Stephan Friedrichs
Hello, John Lato wrote: I was recently looking at the STM library, and I have a question about the function "unsafeIOToSTM". Can anyone explain to me what is unsafe about it, and what sort of use would be considered "safe"? it's unsafe to perform IO inside of a transaction as it can't be undo

Re: [Haskell-cafe] A question about "monad laws"

2008-02-12 Thread Uwe Hollerbach
On Feb 12, 2008 6:12 AM, Jan-Willem Maessen <[EMAIL PROTECTED]> wrote: > > On Feb 12, 2008, at 1:50 AM, David Benbennick wrote: > > > On Feb 11, 2008 10:18 PM, Uwe Hollerbach <[EMAIL PROTECTED]> > > wrote: > >> If I fire up ghci, import > >> Data.Ratio and GHC.Real, and then ask about the type of

[Haskell-cafe] Windows, or GHC?

2008-02-12 Thread Magnus Therning
The following code will on Linux print three strings each followed by a NULL byte: module Main where putStr0 = putStr $ s ++ "\0" main = do putStr0 "Hello" putStr0 "Hello" putStr0 "Hello" On Windows however it will print nothing! In order to trigger printing I have to change the de

Re: [Haskell-cafe] getSymbolicLinkStatus completely broken on some 6.8.2 systems

2008-02-12 Thread Adam Langley
On Feb 12, 2008 8:38 PM, Jeremy Shaw <[EMAIL PROTECTED]> wrote: > I get funny results when I call getSymbolicLinkStatus in ghc 6.8.2 on > Ubuntu 7.10. This happens on several systems and has been confirmed by > other people. Currently I'm looking at hsc2hs for this bug. On a 32 bit box here: int

Re: [Haskell-cafe] A question about "monad laws"

2008-02-12 Thread Jan-Willem Maessen
On Feb 12, 2008, at 1:50 AM, David Benbennick wrote: On Feb 11, 2008 10:18 PM, Uwe Hollerbach <[EMAIL PROTECTED]> wrote: If I fire up ghci, import Data.Ratio and GHC.Real, and then ask about the type of "infinity", it tells me Rational, which as far as I can tell is Ratio Integer...? Yes

Re: [Haskell-cafe] question about STM and IO

2008-02-12 Thread Luke Palmer
On Feb 12, 2008 6:28 PM, John Lato <[EMAIL PROTECTED]> wrote: > Hello, > > I was recently looking at the STM library, and I have a question about > the function "unsafeIOToSTM". Can anyone explain to me what is unsafe > about it, and what sort of use would be considered "safe"? A few things. Fir

Re: [Haskell-cafe] getSymbolicLinkStatus completely broken on some 6.8.2 systems

2008-02-12 Thread Adam Langley
On Feb 12, 2008 10:44 PM, Adam Langley <[EMAIL PROTECTED]> wrote: > Currently I'm looking at hsc2hs for this bug. On a 32 bit box here: hsc2hs is forgiven; if you build with #define _FILE_OFFSET_BITS 32 then the structure is 96 bytes and the 64-bit offset is, indeed, at offset 88. However, if you

[Haskell-cafe] Re: Datatypes - Haskell

2008-02-12 Thread Jon Fairbairn
"Richard A. O'Keefe" <[EMAIL PROTECTED]> writes: > On the subject of data types, I've recently seen Haskell code using > data Foo ... = Foo { ... } > where I would have used newtype instead of data. When is it a good > idea to avoid newtype? When the code was written before newtype was int

[Haskell-cafe] Re: A question about "monad laws"

2008-02-12 Thread apfelmus
Yitzchak Gale wrote: Ben Franksen wrote: ...and the Unimo paper[1] explains how to easily write a 'correct' ListT. Are you sure? Maybe I am missing something, but I don't see any claim that the Unimo ListT satisfies the laws any more than the old mtl ListT. ListT-Done-Right could also be de

Re: [Haskell-cafe] Re: A question about "monad laws"

2008-02-12 Thread Yitzchak Gale
I wrote: >> Floating point intentionally trades accuracy for speed, Jerzy Karczmarczuk wrote: > 1. This is not a possible "trade-off" or not. In scientific/engineering > computation there is really no choice, since you have to compute > logarithms, trigonometric functions, etc., and some inacc

[Haskell-cafe] Re: A question about "monad laws"

2008-02-12 Thread jerzy . karczmarczuk
Yitzchak Gale writes: Jerzy Karczmarczuk wrote: Would you say that *no* typical floating-point software is reliable? It depends on how you define "reliable". Floating point intentionally trades accuracy for speed, ... It used to be true - and may still be - that the engineers who implem

Re: [Haskell-cafe] Re: A question about "monad laws"

2008-02-12 Thread Yitzchak Gale
Ben Franksen wrote: > ...and the Unimo paper[1] explains how to easily write a 'correct' ListT. > BTW, Unimo is an extreme case of the monad laws holding only w.r.t. > the 'right' equality, i.e. in the laws m == m' is to be understood as > observe_monad m == observe_monad m' > (and even this '=='

Re: [Haskell-cafe] Re: A question about "monad laws"

2008-02-12 Thread Yitzchak Gale
Jerzy Karczmarczuk wrote: > Would you say that *no* typical floating-point software is reliable? It depends on how you define "reliable". Floating point intentionally trades accuracy for speed, leaving it to the user to worry about round-off errors. It is usually not too hard to get the probabili

Re: [Haskell-cafe] A question about "monad laws"

2008-02-12 Thread Yitzchak Gale
David Benbennick wrote: >> Some months ago I pointed out that Ratio Int (which is an Ord >> instance) doesn't satisfy this property. I provided a patch to fix >> the problem, but my bug report was closed as wontfix: >> http://hackage.haskell.org/trac/ghc/ticket/1517. Richard A. O'Keefe wrote: > I

Re: [Haskell-cafe] Windows, or GHC?

2008-02-12 Thread Roberto Zunino
Svein Ove Aas wrote: A program to do this follows for your convenience. #include int main() { int i; for (int i=0; i<3; i++) puts("Hello\0"); This will have the same effect as puts("Hello"). Maybe putchar(0) will actually output the NUL. Zun. ___

[Haskell-cafe] ANN: Leksah 0.1 - Haskell IDE written in Haskell

2008-02-12 Thread Jürgen Nicklisch-Franken
I'm pleased to announce the first release of Leksah, an IDE for Haskell written in Haskell. Leksah is intended as a practical tool to support the Haskell development process. This is an unfinished pre-release with bugs and open ends. However, I decided to make a first announcement, hop

Re: [Haskell-cafe] getSymbolicLinkStatus completely broken on some 6.8.2 systems

2008-02-12 Thread Adam Langley
On Feb 12, 2008 11:04 PM, Adam Langley <[EMAIL PROTECTED]> wrote: > structure filled in. HsUnix.h has a wrapper around lstat for exactly > this reason, however ltrace shows it calling the wrong one. So (finally!) the real issue: hsc2hs has a C preprocessor prelude (utils/hsc2hs/template-hsc.h) wh