July 2012 - Haskell-Cafe

Could not find module `Text.Regex'
by zaxis 16 Sep '12

16 Sep '12

import Text.Regex date_by_ntday dateStr ntday = do let [y,m,d] = map (\x -> read x::Int) $ splitRegex (mkRegex "-") dateStr .... %ghc --version The Glorious Glasgow Haskell Compilation System, version 6.12.1 Which package(s) do i need to use Text.Regex ? Sincerely! ----- fac n = foldr (*) 1 [1..n] -- View this message in context: http://old.nabble.com/Could-not-find-module-%60Text.Regex%27-tp27366745p273… Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

5 5

Cabal install fails due to recent HUnit
by Erik Hesselink 03 Sep '12

03 Sep '12

Hi all, All cabal installs using cabal-install-0.10.2 are currently failing for us. This is due to the cabal file for HUnit-1.2.5.0, which was recently uploaded to hackage. The ouput I'm getting from cabal is just: Reading available packages... Resolving dependencies... cabal: Couldn't read cabal file "HUnit/1.2.5.0/HUnit.cabal" If I unpack HUnit-1.2.5.0 and call 'cabal configure', I get: cabal: HUnit.cabal:57: The 'type' field is required for test suites. The available test types are: exitcode-stdio-1.0 The relevant lines from the cabal file are: Test-Suite hunit-tests-optimize-0 Type: exitcode-stdio-1.0 These look fine to me. Does anyone have any idea how to go about fixing this (on hackage at least)? Could this package temporarily be removed, to avoid breaking everyone's cabal? Erik

12 26

Is (==) commutative?
by Christian Sternagel 02 Aug '12

02 Aug '12

Dear all, with respect to formal verification of Haskell code I was wondering whether (==) of the Eq class is intended to be commutative (for many classes such requirements are informally stated in their description, since Eq does not have such a statement, I'm asking here). Or are there any known cases where commutativity of (==) is violated (due to strictness issues)? cheers chris

7 13

Key-Parametrized Lookup Table
by Alexander Foremny 02 Aug '12

02 Aug '12

Hello list, I am currently thinking that a problem of mine would best be solved if there was a Map-like data structure in which the value returned is parametrized over the lookup type. I wonder is this makes sense and if such a data structure exists or if it could be created while still being well typed. I essentially want to statically define a scope of Key values and dynamically define a list of keys. > -- Scope of possible keys. > type Label = String > data Key a where > KeyStr :: Label -> Key String > KeyInt :: Label -> Key Int > KeyChoice :: Label -> [a] -> Key a > -- Some key values, to be extended at runtime. > strKey "Some String" > strKey' "Another String" > intKey "Some integer" > choiceKey "Chose one" [ "a", "b", "c" ] :: KeyChoice String Now I need a data structure to possibly associate a value to the key. > data MapG = ... > type Value a = a > insert :: Key a -> Value a -> MapG Key Value -> MapG Key Value > lookup :: Key a -> MapG Key Value -> Maybe (Value a) I tried implementing this with multiple Map k a's. I tried adding a phantom type on some storage type of to implement KeyChoice as of type Key Int, but I ran into troubles with this approach. I wonder if Dynamic or Type Families could achieve this, but I am quite at a loss and would like to hear your opinion. I did try to search for this a bit, but I don't quite know how to phrase my problem. I'd like to apologize in advance if this question has been asked already. Regards, Alexander Foremny

6 9

Haskell Platform - BSD License?
by Sai Hemanth K 02 Aug '12

02 Aug '12

Hi, I am trying to use haskell for building a tool (in a commercial setting). I am trying to figure out what all licenses are involved here. Is there a single license for the entire haskell platform (and the runtime) or is it that I need to look at the individual licenses of all the libraries and tools that make up the platform and point to them separately? The wikipedia page on haskell platform [0] says Haskell Platform is BSD licensed. But I do not find any such info elsewhere. Any pointers on this would be greatly appreciated, Thanks, Hemanth K [0] Haskell platform on wikipedia : http://en.wikipedia.org/wiki/Haskell_Platform

5 5

GHC rendering of non-ASCII characters configurable?
by Richard Cobbe 01 Aug '12

01 Aug '12

I'm working on an application that involves processing a lot of Unicode data, and I'm finding the built-in Show implementation for Char to be really inconvenient. Specifically, it renders all characters at U+0080 and above with decimal escapes: Prelude> '\x80' '\128' This is annoying because all of the Unicode charts give the code points in hex, and indeed the charts are split into different PDFs at numbers that are nice and round in hex but not in decimal. So in order to figure out which character I'm looking at, I have to convert back to hex and then look it up in the charts. Is there any way to ask GHC to render super-ASCII characters with their hexadecimal escapes, instead? I'm perfectly happy to write my own custom Show instance, but I don't know how to hook that into ghci's REPL (or, for that matter, the routines that HUnit uses to generate the messages on failed tests, etc.). I'm using GHC 7.4.1 on MacOS 10.7.4. Thanks, Richard

5 7

Re: [Haskell-cafe] specifying using type class
by Patrick Browne 01 Aug '12

01 Aug '12

2 2

Re: [Haskell-cafe] The following is supposed to be initializing a 2D array but it doesn't seem to work.
by KC 31 Jul '12

31 Jul '12

That was it! On Tue, Jul 31, 2012 at 3:34 PM, Jan-Willem Maessen <jmaessen(a)alum.mit.edu>wrote: > > > On Tue, Jul 31, 2012 at 5:52 PM, KC <kc1956(a)gmail.com> wrote: > >> All I am getting is this: >> >> array ((1,5),(1,5)) [((1,5),1.0)] >> >> Maybe the behaviour of ghc was changed since the article was written. >> > > I think you've made a common mistake here. Array bounds are (lower in all > dimensions, upper in all dimensions). So perhaps you intended to use the > bounds ((1,1), (5,5)) in your code? > > I make this mistake frequently. > > -Jan-Willem Maessen > -- -- Regards, KC

1 0

CRIP: the Curiously Reoccuring Instance Pattern
by oleg＠okmij.org 31 Jul '12

31 Jul '12

Ryan Ingram wrote: > I've been seeing this pattern in a surprising number of instance > definitions lately: > > instance (a ~ ar, b ~ br) => Mcomp a ar b br [1] > instance (b ~ c, CanFilterFunc b a) => CanFilter (b -> c) a [2] And here are a few more earlier instances of the same occurrence: http://okmij.org/ftp/Haskell/typecast.html > What I'm wondering is--are there many cases where you really want the > non-constraint-generating behavior? It seems like (aside from contrived, > ahem, instances) whenever you have instance CLASS A B where A and B share > some type variables, that there aren't any valid instances of the same > class where they don't share the types in that way. Instances of the form class C a b class C a a class C a b are very characteristic of (emulation) of disequality constraints. Such instances occur, in a hidden form, all the time in HList -- when checking for membership in a type-level list, for example. There are naturally two cases: when the sought type is at the head of the list, or it is (probably) at the tail of the list. class Member (h :: *) (t :: List *) instance Member h (Cons h t) instance Member h t => Member h (Cons h' t) Of course instances above are overlapping. And when we add functional dependencies (since we really want type-functions rather type relations), they stop working at all. We had to employ work-arounds, which are described in detail in the HList paper (which is 8 years old already).

2 1

The following is supposed to be initializing a 2D array but it doesn't seem to work.
by KC 31 Jul '12

31 Jul '12

newArr :: (Ix i) => i -> i -> e -> Array i e newArr n m x = listArray (n,m) (repeat <http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#v:repeat> x) ----- Prelude <http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html> Data.Array> newArr 0 10 0 array (0,10) [(0,0),(1,0),(2,0),(3,0),(4,0),(5,0),(6,0),(7,0),(8,0),(9,0),(10,0)] Prelude <http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html> Data.Array> newArr (0,0) (5,5) 0 array ((0,0),(5,5)) [((0,0),0),((0,1),0),((0,2),0),((0,3),0),((0,4),0),((0,5),0),((1,0),0),((1,1),0),((1,2),0),((1,3),0),((1,4),0),((1,5),0),((2,0),0),((2,1),0),((2,2),0),((2,3),0),((2,4),0),((2,5),0),((3,0),0),((3,1),0),((3,2),0),((3,3),0),((3,4),0),((3,5),0),((4,0),0),((4,1),0),((4,2),0),((4,3),0),((4,4),0),((4,5),0),((5,0),0),((5,1),0),((5,2),0),((5,3),0),((5,4),0),((5,5),0)] All I am getting is this: array ((1,5),(1,5)) [((1,5),1.0)] Maybe the behaviour of ghc was changed since the article was written. -- -- Regards, KC

2 1