New release of SBV (0.9.22) is out: http://hackage.haskell.org/package/sbv
Major changes in this release are:
- Support for explicit quantification (including alternating
existentials and universals)
- Ability to use Microsoft's Z3 SMT solver (in addition to Yices).
Full release notes:
h
Hi mgampkay!
Thank You, these were the problems with my programs.
Greetings,
Árpád
On Sun, 2011-11-13 at 22:57 +0800, mgampkay wrote:
>
> >(hin, hout, _, p) <- runInteractiveProcess "copierer" [] Nothing
>
> >./twowaysubprocesscomm
> >twowaysubprocesscomm: fd:7: hGetLine: end of file
> >
Hi Cafe,
Does anyone currently work on Test.SmallCheck?
I see the following problems:
1. SC doesn't have a repository, issue tracker etc.
2. It is not integrated with popular test frameworks
3. API should be better documented
I'm willing to work on the above problems, but wanted to check first
On 14 November 2011 16:33, Ertugrul Soeylemez wrote:
> It should be fixed now. Thanks for your report!
>
Fixed indeed. Thanks.
Ozgur
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Ozgur Akgun wrote:
> Compilation problems here:
>
> [...]
>
> This build was trying to use deepseq-1.2.0.1. It builds fine with
> deepseq-1.1.0.2 though.
It should be fixed now. Thanks for your report!
Greets,
Ertugrul
--
nightmare = unsafePerformIO (getWrongWife >>= sex)
http://ertes.de/
Hi Ertugrul,
Compilation problems here:
cabal install netwire
[ 7 of 22] Compiling Control.Wire.Prefab.Simple (
Control/Wire/Prefab/Simple.hs, dist/build/Control/Wire/Prefab/Simple.o )
Control/Wire/Prefab/Simple.hs:15:7:
Ambiguous occurrence `force'
It could refer to either `Control
Hello everybody,
it's finally done. I have just released Netwire 2.0.0, which is a
complete rewrite from scratch. It has been generalized to arbitrary
automata with inhibition, so FRP is now just a special use case.
First of all the top module is now:
import Control.Wire
Wire is now an ar
It seems like you would, going by semantics of System F, where types
with type variables name a certain subset of types, => constraints
further restrict the types of the same "shape" (are they an
independent kind of restriction?), so typeclass declarations
with/without => specify a partial order o
> From: Jerzy Karczmarczuk
>
> So, even more seriously, I propose to use more often Latin and Greek.
Jerzy's arguments make a lot of sense to me, but why not use an
index-based notation?
T0 = Type
T1 = Kind
T2 = Sort
etc.
this seems easier to me than an arbitrary hierarchy, particularly as
you
Is there a partial order on Haskell type classes?If so, does it induce any quasi-order relation on types named in the instances?In the example below types C and D have the same operation fThanks,Patdata C = C deriving Showdata D = D deriving Showclass A t where f::t->t f t = t instance A C whereins
I'm not sure if it would help, but did you try compiling without
optimizations using -O0 ?
Cheers, =)
--
Felipe.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Daniel Schoepe wrote:
> > Most time, it is not really difficult to find an appropriate term
> > for concepts of Haskell, like types (Typen) or type classes
> > (Typklassen). But I really don't know how to call kinds and sorts
> > in German. Any ideas?
>
> I'd go with "Arten" and "Sorten" respect
12 matches
Mail list logo