#3693: Show stack traces
-+--
Reporter: jpet |Owner:
Type: feature request | Status: patch
Priority: normal|Milestone: 6.14.1
#4085: minor External Core prettyprinter bug
-+--
Reporter: tim |Owner:
Type: bug | Status: patch
Priority: normal|Milestone:
#4084: minor External Core prettyprinter bug
+---
Reporter: tim| Owner:
Type: bug| Status: closed
Priority: normal | Milestone:
#2889: Compilation fails - Can't opne temporary
---+
Reporter: fobrock | Owner: igloo
Type: bug | Status: infoneeded
Priority: high | Milestone: 6.12.3
#3808: piping binary files sometimes fail
+---
Reporter: paolino| Owner:
Type: bug| Status: new
Priority: high | Milestone: 6.14.1
#4086: Data.List 'nub' function is O(n^2)
---+
Reporter: Pete| Owner:
Type: bug | Status: new
Priority: normal | Component: libraries/base
#4068: GHC 6.12.2 on Mac OS X from GHC-6.12.2-i386.pkg fails with Undefined
symbols: _iconv_close, referenced from: _hs_iconv_close in
libHSbase-4.2.0.1.a(iconv.o) ...
--+-
Reporter: thorkilnaur | Owner: igloo
#4086: Data.List 'nub' function is O(n^2)
-+--
Reporter: Pete |Owner:
Type: bug | Status: new
Priority: normal
#4060: runhaskell Setup register fails with internal error: unexpected package
db
stack
+---
Reporter: mrothe | Owner: duncan
Type: bug| Status: closed
#3889: configure script is generating the incorrect value for
HAVE_GNU_NONEXEC_STACK
---+
Reporter: dmp | Owner: igloo
Type: bug | Status: closed
Priority:
The schedule and registration for the Haskell in Leipzig
meeting on June 4 are now on-line: http://www.iba-cg.de/hal5.html
Keywords: Leksah, HXT, Hawk, Adga, lambda camp, sound synthesis.
The workshop is presented by http://www.fit-leipzig.de/ ,
in co-operation with
TAIC-PART is an interesting conference on testing that takes place in wonderful
surroundings in Windsor Park. I recommend it-I much enjoyed it last year. It's
calling for fast abstracts-short papers on new results-by June 11th. It would
be fun to see work on testing in the FP community
-- Apologies for multiple copies --
VSTTE 2010: Workshops on Theories, Tools and Experiments
Edinburgh, Scotland, 19th August 2010
(*** NEW SUBMISSION DEADLINE: May 28, 2010 *)
The Third International Conference on Verified Software: Theories,
Tools, and
Oscar Finnsson wrote:
I got the GADT
data DataBox where
DataBox :: (Show d, Eq d, Data d) = d - DataBox
and I'm trying to get this to compile
instance Data DataBox where
gfoldl k z (DataBox d) = z DataBox `k` d
gunfold k z c = k (z DataBox) -- not OK
As has been pointed out,
On May 21, 2010, at 3:51 AM, Brent Yorgey wrote:
On Thu, May 20, 2010 at 11:53:09AM +1200, Richard O'Keefe wrote:
On May 20, 2010, at 3:18 AM, Brent Yorgey wrote:
On Wed, May 19, 2010 at 04:27:14AM +, R J wrote:
What are some simple functions that would naturally have the
following
On 20/05/2010, at 9:53 AM, Richard O'Keefe wrote:
The key point is the 'that would NATURALLY have', which I take
to mean as a result of type inference without any forcibly
imposed type signatures.
In my second edition of Bird, the question just says: Give examples of
functions with the
Hi Evan
EHC - Essential Haskell Compiler - is the 'family of compilers' that
UHC - Utrecht Haskell Compiler - is instance one of. The EHC family
starts with a simple Haskell subset and adds features building up to
(almost) Haskell98 for UHC and extended Haskell for some of the EHC
variations.
On 21 May 2010 01:58, Carlos Camarao carlos.cama...@gmail.com wrote:
But this type-correct program would become not typeable if
instances such as the ones referred to before (by Daniel Fischer)
I was thinking this through, and the situation is more complex than I
had thought.
It seems that
... to rewrite strings according to simple composable rules like ...
more often than not, regexp/replace is a hack to avoid the real thing
(parse - AST - transform - AST' - print).
such hacks tend to grow into something that is definitely not composable.
but, you can be a hero ...
Офис нашей компании находится в Ницце - в самом сердце Французской Ривьеры,
что дает нам непосредственную возможность предложить виллы для аренды и
продажи во всем их многообразии, а также сориентировать наших клиентов на
самые интересные и значимые мероприятия в богатой культурной и светской
Google translation:
The office of our company is located in Nice - the heart of the
Riviera, that gives us an immediate opportunity to offer villas
for rent and sale in all their diversity, as well as guidance to
our clients on the most interesting and important events in the
rich cultural
You could try changing the log_action[1] member of the DynFlags. A
while ago I turned most printed errors into some form of error
message, but I wouldn't be surprised if I missed some places. All
output should go through log_action, though, so try changing that to
intercept any output.
[1]:
Hello,
On Tue, May 18, 2010 at 04:47:50PM -0700, Dan Weston wrote:
Unifying those two types by hand, I get:
P (A t - B a)
~ P (B a)
Maybe the problem is that type families (and associated types, their
class cousins) are not injective: P x ~ P y does not imply that x ~ y.
Hi,
I tried that, setting it to (\_ _ _ _ - return ()) and it still did the
same, also tried setting it to undefined to see whether the code that's
printing the error is using it, and it didn't crash
So I assume it's not.
---
*VsxParser getModInfo True
Hi Max.
Excerpts from Max Bolingbroke's message of Sex Mai 21 04:56:51 -0300 2010:
(...)
(Incidentally, the link to your paper is broken, so I haven't actually
been able to read it, sorry!)
It was easy to find it on google.
http://www.dcc.ufmg.br/~camarao/CT/solution-to-mptc-dilemma.pdf
Schedule and registration for the Haskell in Leipzig
meeting on June 4 are now on-line: http://www.iba-cg.de/hal5.html
It's our fifth meeting, and here are five good reasons to go:
* learn Haskell:
attend tutorials for beginners
* get first-hand information:
authors of Leksah, HXT,
Hello!
Please advise haskell libraries similar to convert real-world HTML to
well-formed XML.
I need something similat to HTML Tidy library:
http://tidy.sourceforge.net/
Thanks!
Dmitri
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Hello,
I am trying to understand why I am getting an ambigious type variable error,
and what I can do to work around it. The problem is occurring while trying
to use syb-with-class, but I have stripped it down to it's bare essentials,
so the following code is self-contained, and does not require
Why does the following, trivial code snippet below hang GHCi when I
typeScalene Failure, and what's the fix?
data Triangle = Failure |
Equilateral | Isosceles
| Scalene
On Fri, May 21, 2010 at 3:56 AM, Max Bolingbroke
batterseapo...@hotmail.com wrote:
On 21 May 2010 01:58, Carlos Camarao carlos.cama...@gmail.com wrote:
But this type-correct program would become not typeable if
instances such as the ones referred to before (by Daniel Fischer)
I was thinking
2010/5/21 R J rj248...@hotmail.com:
Why does the following, trivial code snippet below hang GHCi when I type
Scalene Failure, and what's the fix?
An instance of Ord must declare compare or (=). You only defined (),
so () is using the default definition. Here are the defaults:
compare x y
From Prelude.hs:
class (Eq a) = Ord a where
compare :: a - a - Ordering
(), (=), (), (=) :: a - a - Bool
max, min :: a - a - a
compare x y = if x == y then EQ
-- NB: must be '=' not '' to validate the
-- above claim
On Friday 21 May 2010 19:06:51, R J wrote:
Why does the following, trivial code snippet below hang GHCi when I
typeScalene Failure, and what's the fix?
For an Ord instance, you need to define at least one of compare and (=) or
the other functions from the class won't work.
All methods have
On Fri, May 21, 2010 at 12:30 PM, Jeremy Shaw jer...@n-heptane.com wrote:
Adding all the scoped type variable stuff does not seem to help. Alas,
I can not figure out if this is a limitation of the type-checker, or
something that is fundamentally impossible. Nor can I figure out how
to work
anyone else seeing this behavior?
anato...@anatolyy-linux ~ $ ghci
GHCi, version 6.12.1: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package ffi-1.0 ...
On Friday 21 May 2010 20:50:39, Anatoly Yakovenko wrote:
anyone else seeing this behavior?
anato...@anatolyy-linux ~ $ ghci
GHCi, version 6.12.1: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading
Dear Haskellers,
I just want to share an observation. I had to convert a Double to a
Float value in an inner loop of an application, and I used somethin like
this:
xf = (fromRational $ toRational xd) :: Float
The program works on windows but it did not on OSX - it was too slow.
Now, after
On Fri, 21 May 2010, Daniel van den Eijkel wrote:
Dear Haskellers,
I just want to share an observation. I had to convert a Double to a Float
value in an inner loop of an application, and I used somethin like this:
xf = (fromRational $ toRational xd) :: Float
I think realToFrac is the
I see. And I changed the code, it works well. Thanks for that!
Daniel
Henning Thielemann schrieb:
On Fri, 21 May 2010, Daniel van den Eijkel wrote:
Dear Haskellers,
I just want to share an observation. I had to convert a Double to a
Float value in an inner loop of an application, and I
On Friday 21 May 2010 22:06:43, Henning Thielemann wrote:
On Fri, 21 May 2010, Daniel van den Eijkel wrote:
Dear Haskellers,
I just want to share an observation. I had to convert a Double to a
Float value in an inner loop of an application, and I used somethin
like this:
xf =
dvde:
Dear Haskellers,
I just want to share an observation. I had to convert a Double to a
Float value in an inner loop of an application, and I used somethin like
this:
xf = (fromRational $ toRational xd) :: Float
The program works on windows but it did not on OSX - it was too slow.
By the way, speaking of floating-point precision, is there a real reason why
haskell forces us to write :
foreign import ccall unsafe math.h frexp c_frexp::CDouble-(Ptr CInt)-IO ()
foreign import ccall unsafe math.h ldexp c_ldexp::CDouble-CInt-IO CDouble
ulp::Double-Double
ulp x=unsafePerformIO
I'm trying to prove that (==) is reflexive, symmetric, and transitive over the
Bools, given this definition:
(==) :: Bool - Bool - Boolx == y =
(x y) || (not x not y)
My question is: are the proofs below for reflexivity and symmetricity
rigorous,
Have you tried freopen on stderr?
On Fri, May 21, 2010 at 8:43 AM, Phyx loneti...@gmail.com wrote:
Hi,
I tried that, setting it to (\_ _ _ _ - return ()) and it still did the
same, also tried setting it to undefined to see whether the code that's
printing the error is using it, and it didn't
I'd like to make Day an instance of class Enum, but the definition of
toEnum below seems to be completely wrong, because integers seem not permit
pattern matching. How is toEnum defined? Thanks.
data Day = Sunday | Monday
2010/5/21 R J rj248...@hotmail.com:
I'd like to make Day an instance of class Enum, but the definition of
toEnum below seems to be completely wrong, because integers seem not permit
pattern matching. How is toEnum defined? Thanks.
Hi,
What error are you getting when you try your class
R J rj248...@hotmail.com writes:
I'd like to make Day an instance of class Enum, but the definition
of toEnum below seems to be completely wrong, because integers seem
not permit pattern matching. How is toEnum defined? Thanks.
You could try using guards:
toEnum x | x == 0= Sunday
2010/5/21 R J rj248...@hotmail.com:
I'm trying to prove that (==) is reflexive, symmetric, and transitive over
the Bools, given this definition:
(==) :: Bool - Bool - Bool
x == y = (x y) || (not x not y)
My question is: are the proofs below for
On Fri, May 21, 2010 at 8:59 PM, R J rj248...@hotmail.com wrote:
If I type toEnum 5, the error I get is:
interactive:1:0:
Ambiguous type variable `a' in the constraint:
`Enum a' arising from a use of `toEnum' at interactive:1:0-7
Probable fix: add a type signature that fixes
Hello all,
To coincide with Hac Phi 2010
(http://www.haskell.org/haskellwiki/Hac_%CF%86), the Snap team is happy
to announce the first public release of the Snap Framework, a simple and
fast Haskell web programming server and library for unix systems. For
installation instructions, documentation,
50 matches
Mail list logo