On Tue, 18 Mar 2008, Manuel M T Chakravarty wrote:
Ganesh Sittampalam:
On Mon, 17 Mar 2008, Manuel M T Chakravarty wrote:
Your are completely right. Unfortunately, superclass equalities (ie, the
Id a ~ ida in the class declaration of Foo) aren't fully implemented yet.
OK, thanks. Is there a
Thanks for the tip.
Turned out to be a server problem.
Adam
On Mar 17, 2008, at 8:55 AM, Justin Bailey wrote:
On Sun, Mar 16, 2008 at 10:21 AM, Adam Smyczek
<[EMAIL PROTECTED]> wrote:
Somehow I cannot get cookies from the Response
using Network.Browser module (HTTP 3001.0.4).
The cookie h
Ganesh Sittampalam:
On Mon, 17 Mar 2008, Manuel M T Chakravarty wrote:
Your are completely right. Unfortunately, superclass equalities
(ie, the Id a ~ ida in the class declaration of Foo) aren't fully
implemented yet.
OK, thanks. Is there any rough idea of when they will be?
That's a bit
On 17 Mar 2008, at 23:41, Niklas Broberg wrote:
Could this be used to add support for refactoring of source files
containing language extensions?
Because if I'm correct, the current most popular refactoring
solution (I
forgot the name) for Haskell does not support extensions.
I supppose y
But by doing so I am changing type equality to the same as having "type
family F a :: * -> *"
F' a x ~ F' b y <=> F' a ~ F' b /\ x ~ y (equality for ADTs)
and I would like this "decomposition rule not to apply" so.
Thanks though,
hugo
On Tue, Mar 18, 2008 at 1:12 AM, Ryan Ingram <[EMAIL PROTEC
On 3/17/08, Hugo Pacheco <[EMAIL PROTECTED]> wrote:
> type family G a :: * -> *
> type instance G Int = Either () -- you forgot this line
>
> instance Functor (G Int) where
>fmap f (Left ()) = Left ()
>fmap f (Right x) = Right (f x)
One thing that you don't seem to be clear about is that t
> Could this be used to add support for refactoring of source files
> containing language extensions?
>
> Because if I'm correct, the current most popular refactoring solution (I
> forgot the name) for Haskell does not support extensions.
I supppose you're talking about HaRe, that Thomas Schilli
I wonder if I am dealing with bugs in the type checker (replying to myself).
Curiously if I have
class FunctorF d where
fmapF :: d -> (x -> y) -> F d x -> F d y
fff a = fmapF a id
it compiles correctly. If I infer the type signature of fff I get
fff :: forall d x. (FunctorF d) => d -> F d x
On 17 mar 2008, at 23.53, Peter Verswyvelen wrote:
Could this be used to add support for refactoring of source files
containing language extensions?
Because if I'm correct, the current most popular refactoring
solution (I forgot the name) for Haskell does not support extensions.
HaRe - h
Could this be used to add support for refactoring of source files
containing language extensions?
Because if I'm correct, the current most popular refactoring solution (I
forgot the name) for Haskell does not support extensions.
It would also be nice to add support for the arrows syntax :-)
Hi,
I am trying to understand some differences of parameterizing or not some
arguments of type families.
I have some code such as
*type family G a :: * -> *
instance Functor (G Int) where
fmap f (Left ()) = Left ()
fmap f (Right x) = Right (f x)
ggg :: Functor (G a) => G a x -> G a x
ggg
On Mon, 17 Mar 2008, Manuel M T Chakravarty wrote:
Your are completely right. Unfortunately, superclass equalities (ie, the Id
a ~ ida in the class declaration of Foo) aren't fully implemented yet.
OK, thanks. Is there any rough idea of when they will be?
If I am not mistaken, superclass equ
Thanks, I was hoping it would be something simple like that!
I'll give it a try when I get home.
-- ryan
On 3/17/08, Felix Martini <[EMAIL PROTECTED]> wrote:
> Ryan Ingram wrote:
> > For reference, I'm using GHC6.8.1 on WinXP.
>
> > setup.hs: ld is required but it could not be found.
>
> I di
Ryan Ingram wrote:
> For reference, I'm using GHC6.8.1 on WinXP.
> setup.hs: ld is required but it could not be found.
I did have the same issue with GHC 6.8.1 on Windows. It is fixed in
version 6.8.2.
http://haskell.org/ghc/download_ghc_682.html#windows
Regards,
Felix
Justin,
Thanks for the query. Here are the considerations/concerns i with which i
was working.
- Data is *not* native to either lambda or pi-calculi
- operational encodings for simple types (Bool and Nat) were
given near the inception of these calculi
- embeddings of these ty
On 2008-03-17, John Meacham <[EMAIL PROTECTED]> wrote:
> On Mon, Mar 17, 2008 at 12:59:09PM -0400, David Roundy wrote:
>> foreign import ccall unsafe "math.h log10" log10 :: Double -> Double
>>
>> since in ghc CDouble and Double are identical.
>>
>> It's a bit sloppier, but shouldn't cause any tr
2008/3/9 Galchin Vasili <[EMAIL PROTECTED]>:
> I am playing around with the STM API. I would like to see examples of
> STM other than the Santa.hs as I am having problems with STM vs IO.
>
Here's my implementation of the Dining Philosophers in STM:
http://computationalthoughts.blogspot.com/20
On Mon, Mar 17, 2008 at 12:59:09PM -0400, David Roundy wrote:
> foreign import ccall unsafe "math.h log10" log10 :: Double -> Double
>
> since in ghc CDouble and Double are identical.
>
> It's a bit sloppier, but shouldn't cause any trouble. And I've no
> idea how realToFrac is implemented, but
On Mon, Mar 17, 2008 at 1:54 PM, Thomas Schilling <[EMAIL PROTECTED]>
wrote:
>
> On 17 mar 2008, at 14.37, rodrigo.bonifacio wrote:
>
> > Hi all,
> >
> > Is it possible to define a limit for the size of children list bellow?
> >
> > I've tried:
> >
> > children <- resize (10 (listGen featureGenNor
daveroundy:
> On Wed, Mar 12, 2008 at 9:27 PM, Don Stewart <[EMAIL PROTECTED]> wrote:
> > You could consider binding directly to the C functions, if needed,
> >
> > {-# OPTIONS -fffi -#include "math.h" #-}
> >
> > import Foreign.C.Types
> >
> > foreign import ccall unsafe "math.h log10
On 17 Mar 2008, [EMAIL PROTECTED] wrote:
> Hello David,
>
> Monday, March 17, 2008, 7:59:09 PM, you wrote:
>
>>> foreign import ccall unsafe "math.h log10"
>>> c_log10 :: CDouble -> CDouble
>>>
>>> log10 :: Double -> Double
>>> log10 x = realToFrac (c_log10 (realToFrac x))
>
>> It's a bit sloppier
On Mon, Mar 17, 2008 at 2:29 AM, Vitaliy Akimov
<[EMAIL PROTECTED]> wrote:
> Hi Adam, sorry for late answer. Here is my example [1], but yours
> doesn't work on my PC too. And it's strange it works on yours.
Are you running Windows? Because you're hpaste example works,
nonblocking for me too.
>
Hello David,
Monday, March 17, 2008, 7:59:09 PM, you wrote:
>> foreign import ccall unsafe "math.h log10"
>> c_log10 :: CDouble -> CDouble
>>
>> log10 :: Double -> Double
>> log10 x = realToFrac (c_log10 (realToFrac x))
> It's a bit sloppier, but shouldn't cause any trouble.
On Wed, Mar 12, 2008 at 9:27 PM, Don Stewart <[EMAIL PROTECTED]> wrote:
> You could consider binding directly to the C functions, if needed,
>
> {-# OPTIONS -fffi -#include "math.h" #-}
>
> import Foreign.C.Types
>
> foreign import ccall unsafe "math.h log10"
> c_log10 :: CDoub
For reference, I'm using GHC6.8.1 on WinXP.
I'm trying to package up some code into a library. But cabal fails to
configure my project:
>runhaskell setup.hs configure
Configuring Prompt-1.0...
setup.hs: ld is required but it could not be found.
Prompt.cabal contains:
name:Prompt
On Sun, Mar 16, 2008 at 10:21 AM, Adam Smyczek <[EMAIL PROTECTED]> wrote:
> Somehow I cannot get cookies from the Response
> using Network.Browser module (HTTP 3001.0.4).
> The cookie header part seams to be empty and
> getCookies returns empty list as well.
Network.Browser comes with a built-
2008/3/15 Greg Meredith <[EMAIL PROTECTED]>:
> All,
>
>
> The following Haskell code gives a 2-level type analysis of a
> functorial approach to introducing naming and name management into a
> given (recursive) data type. The analysis is performed by means of an
What's the upshot of this? That i
> I'm pleased to announce a new release for the haskell-src-exts package.
Twice in two days even. :-)
haskell-src-exts 0.3.3 - now with support for type equality constraints.
cabal sdist:
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-src-exts-0.3.3
darcs repo: http://code.
Thanks Sterl, you're right, this was because I have don´t compiled with the
-threaded flag, this works fine now.
> This answer may be way off base, but if differences appear between
> ghci and compiled versions, I've often found its as simple as
> remembering to compile with the -threaded fla
On 17 mar 2008, at 14.37, rodrigo.bonifacio wrote:
Hi all,
Is it possible to define a limit for the size of children list bellow?
I've tried:
children <- resize (10 (listGen featureGenNormal))
You are calling a number as a function.
Also, listGen has to use the size argument. Try somet
On Mon, 17 Mar 2008, rodrigo.bonifacio wrote:
Hi all,
Is it possible to define a limit for the size of children list bellow?
take 10 ?
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hi all,
Is it possible to define a limit for the size of children list bellow?
I've tried:
children <- resize (10 (listGen featureGenNormal))
But it didn't work.
Thanks a lot,
Rodrigo.
> Sebastian Sylvan:
> >> featureGenNormal = do
> >> id <- stringGen
> >> name <- stringGen
> >>
Sebastian Sylvan:
>> featureGenNormal = do
>> id <- stringGen
>> name <- stringGen
>> featuretype <- arbitrary
>> grouptype <- arbitrary
>> children <- arbitrary
>> properties <- listGen stringGen
>> return (Feature id name featuretype grouptype children properties)
Rya
Dusan Kolar <[EMAIL PROTECTED]> wrote:
> I'm trying to build HaXML 1.13.3 on Windows using build.bat
>
> $ ghc-pkg register pkg.conf
> Reading package info from "pkg.conf" ... ghc-pkg.exe: Line 68: The
> field main-is was already defined on line 62
>
> Taking a look into the pkg.conf says the
Hi Adam, sorry for late answer. Here is my example [1], but yours
doesn't work on my PC too. And it's strange it works on yours.
According to documentation for Control.Concurrent module [2] every
other thread should be blocked.
> With the -threaded option, only foreign calls with the unsafe attribu
Hello all,
I'm trying to build HaXML 1.13.3 on Windows using build.bat - I have
modified it even on places referred as "should work" (SRCS and OBJS
variables); now it works till the last command:
ghc-pkg register pkg.conf
The error is:
Reading package info from "pkg.conf" ... ghc-pkg.exe: L
2008/3/16 Sebastian Sylvan <[EMAIL PROTECTED]>:
> featureGenNormal = do
> id <- stringGen
> name <- stringGen
> featuretype <- arbitrary
> grouptype <- arbitrary
> children <- arbitrary
> properties <- listGen stringGen
> return (Feature id name featuretype grouptype ch
37 matches
Mail list logo
