[Haskell-cafe] Haskell Weekly News: Issue 271

2013-06-26 Thread Daniel Santa Cruz
Welcome to issue 271 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of June 9 to 11, 2013. Quotes of the Week * cmccann: also please note that "malign" remains one of my best function names ever * dolio: Pe

Re: [Haskell-cafe] Remove Enum from Float and Double

2013-06-26 Thread Doug McIlroy
> it's the entire Enum class which doesn't have a consistent or sensible > semantics Yes, for a language with generally sound mathematical roots, Enum is an embarrassment. My pet peeve is that Rationals are enumerable, but not with Enum. And the differing lengths of [1,4..6] and [1.0,4.0..6.0]

Re: [Haskell-cafe] Annotation problem after HP reinstalation

2013-06-26 Thread Vlatko Basic
Hi Ian, Yes, seems that was the case. (But I had the feeling it was OK before the reinstallation.) How to disable/ignore HLint suggestions if OverloadedStrings are used? Original Message Subject: Re: [Haskell-cafe] Annotation problem after HP reinstalation From: Sturdy, Ia

Re: [Haskell-cafe] Annotation problem after HP reinstalation

2013-06-26 Thread Sturdy, Ian
Looks to me as if you have OverloadedStrings enabled somewhere, in which case that would be the correct behaviour. IRS From: haskell-cafe-boun...@haskell.org [haskell-cafe-boun...@haskell.org] on behalf of Vlatko Basic [vlatko.ba...@gmail.com] Sent: Wedn

[Haskell-cafe] Annotation problem after HP reinstalation

2013-06-26 Thread Vlatko Basic
I uninstalled haskell-platform, deleted .cabal and .ghc dirs and reinstalled it (on Ubuntu), but now the annotation (and other annotations) {-# ANN module "HLint: ignore Eta reduce" #-} produces error Ambiguous type variable `a0' in the constraints: (Data a0) arising from an annotation a

Re: [Haskell-cafe] homotopy type theory for amateurs

2013-06-26 Thread Ben
hello cafe -- i have created the mailing list hott-amate...@googlegroups.com https://groups.google.com/d/forum/hott-amateurs (perhaps forever consigning myself to spam folders everywhere.) if you are interested in joining this reading group, you can do so there. nothing has been decided yet