Re: [Haskell-cafe] Haskell Platform 64 bit

2011-11-30 Thread Philippe Sismondi 

On 2011-11-28, at 5:59 PM, David Pollak wrote:

 Please try the following:
 
 raptor:~ root# rm -rf /Library/Haskell/
 raptor:~ root# cd ~dpp/Library/
 raptor:Library root# rm -rf Haskell/
 raptor:Library root# cd ..
 raptor:dpp root# rm -rf .cabal/
 raptor:dpp root# 
 
 
 I think the issue is that the installer was trying to install on top of an 
 existing installation and that was causing issues.
 

Thanks. I shall give that a try.

 On Fri, Nov 25, 2011 at 4:29 PM, Philippe Sismondi psismo...@arqux.com 
 wrote:
 I just tried to install the Haskell Platform 64-bit on OS X Snow Leopard 
 10.6.8. The install fails with an error. This is all I see in 
 /var/log/install.log:
 
 11-11-25 6:22:01 PM Installer[53992]The Installer encountered an 
 error that caused the installation to fail. Contact the software manufacturer 
 for assistance.
 
 Is it known to be broken? I find something in haskell-cafe archives from last 
 spring about a such a problem, but I don't know where to look for anything 
 more recent. I may be blind, but I cannot see anything in the tickets under 
 known problems.
 
 I have been successfully running the 32-bit version for quite a while, but 
 have begun to run into problems with linking haskell stuff against various 
 64-bit macports libraries.
 
 - Phil -
 ___
 Haskell-Cafe mailing list
 Haskell-Cafe@haskell.org
 http://www.haskell.org/mailman/listinfo/haskell-cafe
 
 
 
 -- 
 Visi.Pro, Cloud Computing for the Rest of Us http://visi.pro
 Lift, the simply functional web framework http://liftweb.net
 Follow me: http://twitter.com/dpp
 Blog: http://goodstuff.im
 
 

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Haskell Weekly News: Issue 209

2011-11-30 Thread Daniel Santa Cruz 
Welcome to issue 209 of the HWN, a newsletter covering developments in
the Haskell community. This release covers two weeks, from November 13
to 26, 2011.

You can find the HTML version at:
http://contemplatecode.blogspot.com/2011/11/haskell-weekly-news-issue-209.html

Announcements

   By now I'm sure you've heard about Da the lamb.
   [1] http://goo.gl/WF2o7

   Sean Leather annouced that the next Dutch functinal programming day
   will take place on January 6, 2012, at the university campus De
   Uithof of Utrecht University.
   [2] http://goo.gl/IfVK8

   Ganesh Sittampalam announced that the haskell.org committee for
   2011-12 has been formed.
   [3] http://goo.gl/YFFsa

New and Updated Projects

   * Gtk2Hs (Axel Simon; 0.12.2) Adjustments to Gtk2Hs to work with
 GHC 7.x.x. Also, looking for a part-time maintainer.
 [4] http://goo.gl/52M56

   * iteratee-compress (Maciej Marcin Piechotka; 0.3.0.0) Provides
 compressing and decompressing enumerators.
 [5] http://goo.gl/tRAkg

   * Netwire (Ertugrul Soeylemez; 2.0.0) Complete rewrite.
 [6] http://goo.gl/HMCG8

   * SBV (Levent Erkok; 0.9.22)
 [7] http://goo.gl/pSXGb

   * graphviz (Ivan Lazar Miljenovic; 2999.12.0.4).
 [8] http://goo.gl/JNVSV

   * SmallCHeck (Roman Cheplyaka; 0.5)
 [9] http://goo.gl/8njoh

   * OpenCL (Luis Cabellos; 1.0.2.2) Better error handling.
 [10] http://goo.gl/fphJN

   * clientsession (Michael Snoyman; 0.7.3.4) Major performance
 enhancement.
 [11] http://goo.gl/hCqrf

Quotes of the Week

   * dmwit: Let's not make things better, I haven't put enough lipstick
 on the worse version yet.

   * mike-burns: Oh good, a semantic argument. Goodnight.

   * companion_cube: why bother with complicated abstractions like
 monads, when you can enjoy the taste of the sun on your skin?

   * applicative: clearly the trouble with haskell is plain: no inbuild
 syntactic support for quaternions. Wonder if *fortress* has it.

   * elliott: with a lot of unicode is like agda's @faq. yes, agda
 can do that with a lot of unicode!

   * [shachaf] mauke: EBCDIC?
 [mauke] shachaf: ah, the data encryption
  standard invented by IBM?

   * Tiwazz: It's called Berp because that's the sound Haskell makes
 after it devours a live Python.

Top Reddit Stories

   * Typeclassopedia moved to the Haskell wiki
 Domain: byorgey.wordpress.com, Score: 72, Comments: 8
 On Reddit: [12] http://goo.gl/pbHqr
 Original: [13] http://goo.gl/tWM0P

   * New project to support SIMD vector instructions in GHC
 (x86 SSE  AVX, ARM's NEON etc)
 Domain: hackage.haskell.org, Score: 62, Comments: 18
 On Reddit: [14] http://goo.gl/JRj3o
 Original: [15] http://goo.gl/OcFCG

   * GHC 7.4 branched, what's in for Christmas?
 Domain: haskell.org, Score: 54, Comments: 16
 On Reddit: [16] http://goo.gl/ZUN1e
 Original: [17] http://goo.gl/qWIhq

   * How to read Haskell like Python
 Domain: blog.ezyang.com, Score: 52, Comments: 7
 On Reddit: [18] http://goo.gl/3cVXY
 Original: [19] http://goo.gl/nNhDI

   * xmonad-0.10 released!
 Domain: hackage.haskell.org, Score: 51, Comments: 15
 On Reddit: [20] http://goo.gl/U5rry
 Original: [21] http://goo.gl/SIFuB

   * Roy - language with Hindley-Milner type system and monads that
compiles to javascript
 Domain: roy.brianmckenna.org, Score: 43, Comments: 9
 On Reddit: [22] http://goo.gl/RLK8S
 Original: [23] http://goo.gl/dzx8N

   * The Universe of Discourse : Triples and Closure and Monads
 Domain: blog.plover.com, Score: 42, Comments: 13
 On Reddit: [24] http://goo.gl/7EDJX
 Original: [25] http://goo.gl/iPLnN

   * ANN: happstack-lite. A simpler, friendlier version of the
 Happstack Haskell Web Framework. What do you think?
 Domain: happstack.blogspot.com, Score: 35, Comments: 12
 On Reddit: [26] http://goo.gl/Ii6Ch
 Original: [27] http://goo.gl/5wSZJ

   * HN/SPL - a better way to do your boring C++ job (written in Haskell)
 Domain: code.google.com, Score: 35, Comments: 16
 On Reddit: [28] http://goo.gl/VxqIN
 Original: [29] http://goo.gl/9aAeZ

   * Fast lookup tables in haskell
 Domain: tab.snarc.org, Score: 34, Comments: 10
 On Reddit: [30] http://goo.gl/mzgyw
 Original: [31] http://goo.gl/4VnrX

   * What Yesod Got Right
 Domain: yesodweb.com, Score: 34, Comments: 12
 On Reddit: [32] http://goo.gl/eZhhK
 Original: [33] http://goo.gl/Li4mY

Top StackOverflow Questions

   * What is a monad in FP, in categorical terms?
 votes: 30, answers: 7
 Read on SO: [34] http://goo.gl/sC7PD

   * Haskell vs JVM performance [closed]
 votes: 24, answers: 6
 Read on SO: [35] http://goo.gl/olA8g

   * Are there any Haskell techniques for mixed
 (part structure, part unmodified text)
 parsing  rewriting?
 votes: 24, answers: 1
 Read on SO: [36] http://goo.gl/jRydd

   * STArray documentation for

[Haskell-cafe] Using Data,TypeLevel.Num

2011-11-30 Thread Richard O'Keefe 
I'd like to write a small module using Data.TypeLevel.Num.
It has type level constants, variables, addition, and maximum, which is pretty 
much
all I need.  But I've never used it before, and there's one thing I want to do 
that
I don't understand how to do.

val :: Nat t = t - Int
val _ = t as an Int

e.g., if x :: D8 then val x = 8.

The value-level reflection functions in Data.TypeLevel.Num.Ops all seem to be
'undefined'.



___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Using Data,TypeLevel.Num

2011-11-30 Thread Brandon Allbery 
On Wed, Nov 30, 2011 at 23:55, Richard O'Keefe o...@cs.otago.ac.nz wrote:

 The value-level reflection functions in Data.TypeLevel.Num.Ops all seem
 to be
 'undefined'.


Those are operations on type level representations, but expressed at the
value level; that is, in some sense the opposite of what you're looking
for.  Looks like what you really want is Data.TypeLevel.Num.Sets.toNum (or
toInt in the same module).

-- 
brandon s allbery  allber...@gmail.com
wandering unix systems administrator (available) (412) 475-9364 vm/sms
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe