- Haskell-Cafe - Haskell.org

What happened to http://hackage.haskell.org/platform/2010.2.0.0/cabal/haskell-platform-2010.2.0.0.tar.gz?
by Peter Simons 03 Apr '13

03 Apr '13

Is it just me or have some of the old Haskell Platform releases disappeared from haskell.org? The 2010.x links from http://www.haskell.org/platform/prior.html also point to non-existent pages.

1 0

Re: [Haskell-cafe] User group in Stockholm?
by Vincent Ambo 03 Apr '13

03 Apr '13

Hej! I live in Stockholm but don't know of any user group here. How long are you going to stay? Cheers! 2013/4/2 Vincent Ambo <tazjin(a)gmail.com> > Hej! > > I live in Stockholm but don't know of any user group here. How long are > you going to stay? > > Cheers! > > Vincent > > > 2013/4/1 Sergey Bushnyak <sergey.bushnyak(a)sigrlami.eu> > >> I'll be in Stockholm next month, so I'm curious about haskellers in >> Stockholm. >> >> I saw attempts to organize regular meetings in old mailing threads, but >> can't find *up to date* information to correct my schedule and see fellow >> haskellers. >> >> Sorry, if this offtopic >> >> -- >> Best regards, >> Sergey Bushnyak >> >> >> ______________________________**_________________ >> Haskell-Cafe mailing list >> Haskell-Cafe(a)haskell.org >> http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe> >> > >

2 1

Layout section of Haskell 2010 Language Report -- Notes 1&2
by Seth Lastname 03 Apr '13

03 Apr '13

I'm sure I'm missing something, but I'm having difficulty parsing or reconciling Note 1 and Note 2 of Section 10.3 ("Layout") of the Haskell 2010 Language Report. http://www.haskell.org/onlinereport/haskell2010/haskellch10.html#x17-178000… Can somebody point me in the right direction? To be clear, I'm not concerned with GHC behavior or best programming practices here, only with the specification of the language given in the Report. Note 1 says, "A nested context must be further indented than the enclosing context ('n' > 'm'). If not, 'L' fails, and the compiler should indicate a layout error." Note 2 says, "If the first token after a 'where' (say) is not indented more than the enclosing layout context, then the block must be empty, so empty braces are inserted." It seems that, in Note 2, the "first token" necessarily refers to a lexeme other than '{' (else it would not make sense), in which case a '{n}' token will have been inserted after 'where' (in the example given in the note), yielding a nested context which is "not indented more than the enclosing layout context", and thus failing the test in the first sentence of Note 1. So, in the places where Note 2 would apply, it seems Note 1 would yield a "layout error". For example, in the following code (replace '.' with space), f x = let ......g y = 2 * y ..........where ..g x it seems that Note 1 would "layout error", yet this seems precisely the case addressed by Note 2 wherein "{}" would be inserted after the 'where' yielding syntactically correct (albeit strange) code. Any insight would be appreciated. Thanks, Seth

2 2

Fwd: [Yesod] Type issue when migrating to new yesod
by Magicloud Magiclouds 03 Apr '13

03 Apr '13

Hi, I have a yesod project that used to be compilable. Now when I migrate it to latest yesod, it failed compiling. ---------- Forwarded message ---------- From: Magicloud Magiclouds <magicloud.magiclouds(a)gmail.com> Date: Tue, Apr 2, 2013 at 9:32 PM Subject: Re: [Yesod] Type issue in new yesod To: "yesodweb(a)googlegroups.com" <yesodweb(a)googlegroups.com> Sure. The error message is as following. And the new code is here: http://pastebin.com/sqCkeY2q [12 of 13] Compiling Handler.FetchProcessPathRollup ( Handler/FetchProcessPathRollup.hs, dist/build/Handler/FetchProcessPathRollup.o ) Handler/FetchProcessPathRollup.hs:43:16: No instance for (PersistUnique (Data.Conduit.Internal.ConduitM (containers-0.5.0.0:Data.Map.Base.Map Text Text) ProcessPathRollup (ResourceT (Database.Persist.GenericSql.Raw.SqlPersist (GHandler App App))))) arising from a use of `getKey' Possible fix: add an instance declaration for (PersistUnique (Data.Conduit.Internal.ConduitM (containers-0.5.0.0:Data.Map.Base.Map Text Text) ProcessPathRollup (ResourceT (Database.Persist.GenericSql.Raw.SqlPersist (GHandler App App))))) In a stmt of a 'do' block: reportKey <- getKey (UniqueReport (t "Report")) (Report (t "Report")) In the expression: do { let t = (!) r d = liftM fst . double . t ....; reportKey <- getKey (UniqueReport (t "Report")) (Report (t "Report")); lineitemKey <- getKey (UniqueLineitem (t "LineItem Name") (t "LineItem Id")) (Lineitem (t "LineItem Id") (t "LineItem Name")); mainProcessKey <- getKey (UniqueMainProcess (t "Main Process")) (MainProcess (t "Main Process")); .... } In the second argument of `($)', namely `\ r -> do { let ...; reportKey <- getKey (UniqueReport (t "Report")) (Report (t "Report")); .... }' On Tue, Apr 2, 2013 at 7:32 PM, Michael Snoyman <michael(a)snoyman.com> wrote: > Can you provide the new source code and the new compiler error message? > > > On Tue, Apr 2, 2013 at 11:18 AM, Magicloud Magiclouds < > magicloud.magiclouds(a)gmail.com> wrote: > >> Sorry, the first error about CSV was due to parsePPR's type. If I set it >> type, then CSV error was gone. And the error of PersistUnique reported on >> first getKey call, instead of processPPR call. >> >> >> On Tue, Apr 2, 2013 at 2:50 PM, Michael Snoyman <michael(a)snoyman.com>wrote: >> >>> This doesn't look like it's anything to do with Yesod; it looks like a >>> problem with the usage of conduit and csv-conduit. Did you try following >>> the GHC recommendation and adding a type signature to parsePPR? >>> >>> >>> On Tue, Apr 2, 2013 at 8:09 AM, Magicloud Magiclouds < >>> magicloud.magiclouds(a)gmail.com> wrote: >>> >>>> Hi, >>>> I have a yesod project that used to be compilable. Now when I migrate >>>> it to latest yesod, it failed compiling. >>>> >>>> The failed part is here: http://pastebin.com/pWn5FdeS . >>>> And the error message is: >>>> >>>> Handler/FetchProcessPathRollup.hs:27:30: >>>> No instance for (Data.CSV.Conduit.CSV >>>> Data.ByteString.Internal.ByteString >>>> (containers-0.5.0.0:Data.Map.Base.Map a0 Text)) >>>> arising from a use of `intoCSV' >>>> The type variable `a0' is ambiguous >>>> Possible fix: add a type signature that fixes these type variable(s) >>>> Note: there is a potential instance available: >>>> instance (Data.CSV.Conduit.CSV >>>> s (csv-conduit-0.5.1:Data.CSV.Conduit.Types.Row s'), >>>> Ord s', Data.String.IsString s) => >>>> Data.CSV.Conduit.CSV s (MapRow s') >>>> -- Defined in `Data.CSV.Conduit' >>>> Possible fix: >>>> add an instance declaration for >>>> (Data.CSV.Conduit.CSV >>>> Data.ByteString.Internal.ByteString >>>> (containers-0.5.0.0:Data.Map.Base.Map a0 Text)) >>>> In the first argument of `(=$=)', namely `intoCSV defCSVSettings' >>>> In the second argument of `($$+-)', namely >>>> `(intoCSV defCSVSettings >>>> =$= parsePPR (zonedTimeToUTC day) k =$ sinkPersist)' >>>> In a stmt of a 'do' block: >>>> responseBody src >>>> $$+- >>>> (intoCSV defCSVSettings >>>> =$= parsePPR (zonedTimeToUTC day) k =$ sinkPersist) >>>> >>>> Handler/FetchProcessPathRollup.hs:27:57: >>>> No instance for (PersistUnique >>>> (Data.Conduit.Internal.ConduitM >>>> (containers-0.5.0.0:Data.Map.Base.Map a0 Text) >>>> ProcessPathRollup >>>> (ResourceT >>>> >>>> (Database.Persist.GenericSql.Raw.SqlPersist (GHandler App App))))) >>>> arising from a use of `parsePPR' >>>> Possible fix: >>>> add an instance declaration for >>>> (PersistUnique >>>> (Data.Conduit.Internal.ConduitM >>>> (containers-0.5.0.0:Data.Map.Base.Map a0 Text) >>>> ProcessPathRollup >>>> (ResourceT >>>> (Database.Persist.GenericSql.Raw.SqlPersist (GHandler >>>> App App))))) >>>> In the first argument of `(=$)', namely >>>> `parsePPR (zonedTimeToUTC day) k' >>>> In the second argument of `(=$=)', namely >>>> `parsePPR (zonedTimeToUTC day) k =$ sinkPersist' >>>> In the second argument of `($$+-)', namely >>>> `(intoCSV defCSVSettings >>>> =$= parsePPR (zonedTimeToUTC day) k =$ sinkPersist)' >>>> >>>> -- >>>> 竹密岂妨流水过 >>>> 山高哪阻野云飞 >>>> >>>> And for G+, please use magiclouds#gmail.com. >>>> >>>> -- >>>> You received this message because you are subscribed to the Google >>>> Groups "Yesod Web Framework" group. >>>> To unsubscribe from this group and stop receiving emails from it, send >>>> an email to yesodweb%2Bunsubscribe(a)googlegroups.com. >>>> For more options, visit https://groups.google.com/groups/opt_out. >>>> >>>> >>>> >>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Yesod Web Framework" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to yesodweb%2Bunsubscribe(a)googlegroups.com. >>> For more options, visit https://groups.google.com/groups/opt_out. >>> >>> >>> >> >> >> >> -- >> 竹密岂妨流水过 >> 山高哪阻野云飞 >> >> And for G+, please use magiclouds#gmail.com. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Yesod Web Framework" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to yesodweb%2Bunsubscribe(a)googlegroups.com. >> For more options, visit https://groups.google.com/groups/opt_out. >> >> >> > > -- > You received this message because you are subscribed to the Google Groups > "Yesod Web Framework" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to yesodweb%2Bunsubscribe(a)googlegroups.com. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- 竹密岂妨流水过山高哪阻野云飞 And for G+, please use magiclouds#gmail.com. -- 竹密岂妨流水过山高哪阻野云飞 And for G+, please use magiclouds#gmail.com.

1 0

Re: [Haskell-cafe] closed world instances, closed type families
by oleg＠okmij.org 03 Apr '13

03 Apr '13

Henning Thielemann wrote: > However the interesting part of a complete case analysis on type level > peano numbers was only sketched in section "8.4 Closed type > families". Thus I tried again and finally found a solution that works > with existing GHC extensions: You might like the following message posted in January 2005 http://www.haskell.org/pipermail/haskell-cafe/2005-January/008239.html (the whole discussion thread is relevant). In particular, the following excerpt -- data OpenExpression env r where -- Lambda :: OpenExpression (a,env) r -> OpenExpression env (a -> r); -- Symbol :: Sym env r -> OpenExpression env r; -- Constant :: r -> OpenExpression env r; -- Application :: OpenExpression env (a -> r) -> OpenExpression env a -> -- OpenExpression env r -- Note that the types of the efold alternatives are essentially -- the "inversion of arrows" in the GADT declaration above class OpenExpression t env r | t env -> r where efold :: t -> env -> (forall r. r -> c r) -- Constant -> (forall r. r -> c r) -- Symbol -> (forall a r. (a -> c r) -> c (a->r)) -- Lambda -> (forall a r. c (a->r) -> c a -> c r) -- Application -> c r shows the idea of the switch, but on more complex example (using higher-order rather than first-order language). That message has anticipated the tagless-final approach.

1 0

Why is "Cont" out of scope?
by Daryoush Mehrtash 03 Apr '13

03 Apr '13

I am trying to use the Cont in Control.Monad.Cont but it seems to be missing Prelude> import Control.Monad.Cont Prelude Control.Monad.Cont> :t Cont <interactive>:1:1: Not in scope: data constructor `Cont' Perhaps you meant `ContT' (imported from Control.Monad.Cont) Prelude Control.Monad.Cont> :t runCont runCont :: Cont r a -> (a -> r) -> r Prelude Control.Monad.Cont> :t ContT ContT :: ((a -> m r) -> m r) -> ContT r m a Prelude Control.Monad.Cont> Any ideas? Thanks -- Daryoush Weblog: http://onfp.blogspot.com/

2 1

closed world instances, closed type families
by Henning Thielemann 02 Apr '13

02 Apr '13

Recently I needed to define a class with a restricted set of instances. After some failed attempts I looked into the DataKinds extension and in "Giving Haskell a Promotion" I found the example of a new kind Nat for type level peano numbers. However the interesting part of a complete case analysis on type level peano numbers was only sketched in section "8.4 Closed type families". Thus I tried again and finally found a solution that works with existing GHC extensions: data Zero data Succ n class Nat n where switch :: f Zero -> (forall m. Nat m => f (Succ m)) -> f n instance Nat Zero where switch x _ = x instance Nat n => Nat (Succ n) where switch _ x = x That's all. I do not need more methods in Nat, since I can express everything by the type case analysis provided by "switch". I can implement any method on Nat types using a newtype around the method which instantiates the f. E.g. newtype Append m a n = Append {runAppend :: Vec n a -> Vec m a -> Vec (Add n m) a} type family Add n m :: * type instance Add Zero m = m type instance Add (Succ n) m = Succ (Add n m) append :: Nat n => Vec n a -> Vec m a -> Vec (Add n m) a append = runAppend $ switch (Append $ \_empty x -> x) (Append $ \x y -> case decons x of (a,as) -> cons a (append as y)) decons :: Vec (Succ n) a -> (a, Vec n a) cons :: a -> Vec n a -> Vec (Succ n) a The technique reminds me on GADTless programming. Has it already a name?

3 3

ANNOUNCE: Ajhc 0.8.0.3 Release
by Kiwamu Okabe 02 Apr '13

02 Apr '13

We are happy to announce Ajhc 0.8.0.3. Major change on this release is supporting Windows MinGW32 platform. And you can cabal install ajhc. http://hackage.haskell.org/package/ajhc Perhaps changes on the announce will be merged to jhc. Ajhc's project web site is found at http://ajhc.masterq.net/. You can get the source code from https://github.com/ajhc/ajhc/tags. ## Changes * Support Windows MinGW32 platform * You can cabal install Ajhc. * Use DrIFT-cabalized command also to generate DrIFT deriving * Dump Haskell heap with gdb script (utils/gdb_jhc.py) * Use haskeline package to replace readline or editline * No more depend on haskell98 package - - - Metasepi team

1 0

APLAS 2013 call for papers
by Chung-chieh Shan 02 Apr '13

02 Apr '13

=============================================================== APLAS 2013 11th Asian Symposium on Programming Languages and Systems 9-11 December 2013 Melbourne, Australia (colocated with CPP 2013) CALL FOR PAPERS =============================================================== ========== BACKGROUND ========== APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. ====== TOPICS ====== The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory; * design of languages, type systems and foundational calculi; * domain-specific languages; * compilers, interpreters, abstract machines; * program derivation, synthesis and transformation; * program analysis, verification, model-checking; * logic, constraint, probabilistic and quantum programming; * software security; * concurrency and parallelism; * tools and environments for programming and implementation. Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *Regular research papers* describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 16 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. *System and Tool presentations* describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page: https://www.easychair.org/conferences/?conf=aplas2013 Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. (While the general chair and the program chair cannot submit papers, other members of the program committee can.) ===== DATES ===== Abstract due: 10 June 2013 (Monday), 23:59 UTC Submission due: 14 June 2013 (Friday), 23:59 UTC Notification: 26 August 2013 (Monday) Final paper due: 19 September 2013 (Thursday) Conference: 9-11 December 2013 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Peter Schachte (University of Melbourne) Program chair: Chung-chieh Shan (Indiana University) Program committee: Filippo Bonchi (CNRS, ENS-Lyon, France) Yu-Fang Chen (Academia Sinica, Taiwan) Shigeru Chiba (The University of Tokyo, Japan) Jacques Garrigue (Nagoya University, Japan) Robert Glück (University of Copenhagen, Denmark) R. Govindarajan (Indian Institute of Science, India) Kazuhiro Inaba (Google, Inc., Japan) Jie-Hong Roland Jiang (National Taiwan University, Taiwan) Shin-ya Katsumata (Kyoto University, Japan) Gabriele Keller (University of New South Wales, Australia) Ana Milanova (Rensselaer Polytechnic Institute, USA) Keisuke Nakano (The University of Electro-Communications, Japan) Hakjoo Oh (Seoul National University, Korea) Bruno C. d. S. Oliveira (National University of Singapore, Singapore) Kaushik Rajan (Microsoft Research, India) Max Schäfer (Nanyang Technological University, Singapore) Ulrich Schöpp (Ludwig-Maximilians-Universität München, Germany) Paula Severi (University of Leicester, UK) Gang Tan (Lehigh University, USA) Hiroshi Unno (University of Tsukuba, Japan) Meng Wang (Chalmers University of Technology, Sweden) Jingling Xue (University of New South Wales, Australia) Mingsheng Ying (University of Technology, Sydney, Australia) Kenny Q. Zhu (Shanghai Jiao Tong University, China) ======= CONTACT ======= http://aplas2013.soic.indiana.edu/ aplas2013(a)easychair.org

1 0

mueval, interpreter options
by Johannes Waldmann 02 Apr '13

02 Apr '13

What am I missing? I want to use mueval to read a file that contains "instance Serial m a => Serial m (Tree a)" (as in http://hackage.haskell.org/packages/archive/smallcheck/1.0.2/doc/html/Test-…) so I put in my call of mueval: let Right opts = M.interpreterOpts [] keepCurrentDir $ do System.Directory.setCurrentDirectory d I.runInterpreter $ Mueval.Interpreter.interpreter $ opts { M.timeLimit = 10 -- seconds? , M.modules = Just [ "Prelude" , "Test.SmallCheck.Drivers", "Test.SmallCheck.Series" , "GHC.Generics" ] , M.namedExtensions = [ "MultiParamTypeClasses" , "FlexibleInstances", "DeriveGeneric" ] but it gives me "MultiParamTypeClasses is not enabled" on inputs like {-# language MultiParamTypeClasses #-} import Test.SmallCheck.Series import GHC.Generics data Tree a = Null | Fork (Tree a) a (Tree a) deriving Generic instance Serial m a => Serial m (Tree a) where I don't understand mueval's design anyway here: do the interpreter options mean that these are automatically on, or just that the source text will be allowed to switch then on? (I'd prefer the latter.) Thanks - J.W.

2 1