src/System/Plugins/Process.hs:59:4:
Warning: A do-notation statement discarded a result of type
GHC.Conc.ThreadId.
Suppress this warning by saying _ - forkIO
(()
Yuras Shumovich shumovi...@gmail.com writes:
src/System/Plugins/Process.hs:59:4:
Warning: A do-notation statement discarded a result of type
GHC.Conc.ThreadId.
Suppress this warning by saying _ - forkIO
(()
Another error :
-- error start --
Preprocessing library plugins-1.4.1...
Building plugins-1.4.1...
[ 7 of 15] Compiling System.Plugins.Env ( src/System/Plugins/Env.hs,
dist/build/System/Plugins/Env.o )
Yuras Shumovich shumovi...@gmail.com writes:
Another error :
-- error start --
Preprocessing library plugins-1.4.1...
Building plugins-1.4.1...
[ 7 of 15] Compiling System.Plugins.Env ( src/System/Plugins/Env.hs,
I got another error:
-- error start --
[ 8 of 15] Compiling System.MkTemp ( src/System/MkTemp.hs,
dist/build/System/MkTemp.o )
src/System/MkTemp.hs:214:26:
Couldn't match expected type `IOError'
against inferred type
Yuras Shumovich shumovi...@gmail.com writes:
I got another error:
-- error start --
[ 8 of 15] Compiling System.MkTemp ( src/System/MkTemp.hs,
dist/build/System/MkTemp.o )
src/System/MkTemp.hs:214:26:
Couldn't match expected
Andy Stewart lazycat.mana...@gmail.com writes:
Hi Ivan,
Ivan Lazar Miljenovic ivan.miljeno...@gmail.com writes:
Andy Stewart lazycat.mana...@gmail.com writes:
Hi all,
I want to use *plugins* package
(http://hackage.haskell.org/package/plugins-1.4.1)
Unfortunately, it looks broken.
Matthew Brecknell [EMAIL PROTECTED] writes:
As others have pointed out, fix is polymorphic, so a can stand for any
type, including (b - c). Removing redundant parentheses, this means
fix can directly specialise to:
fix :: ((b - c) - b - c) - b - c
I understand now. I think part of my
But in fact it seems to me that the type variable a not only can, but
must unify with b-c.
Is there any use of fix for which this is not true? If this is true, is
the type a instead of b-c because it is not possible in general for
the type checker to verify this fact, making it some kind of
Assuming 1 :: Int, then:
ones = 1 : ones
is equivalent to:
ones = fix (\ones - 1:ones)
where fix has type ([Int] - [Int]) - [Int].
It's also the case that:
inf = 1+inf
is equivalent to:
inf = fix (\inf - 1+inf)
where fix has type (Int - Int) - Int.
Unfortunately (perhaps), the fixed point
In effect, this is a demonstration that Haskell supports recursive
values and not just recursive functions. If the a in
fix :: (a - a) - a
were to be unified always with a function type, then that would imply
that the language only supported recursive definitions for functions,
which would be a
11 matches
Mail list logo
