RE: GADTs with strict fields?
Yes it's documented in the user manual http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#gadt-style Since you didn't find it, despite looking, can you suggest how we could improve the manual so that you would? Thanks Simon From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-users-boun...@haskell.org] On Behalf Of Conal Elliott Sent: 01 April 2009 00:54 To: glasgow-haskell-users@haskell.org Subject: Re: GADTs with strict fields? I got an answer: precede the argument types by a !. I didn't realize that type applications then have to be parenthesized. On Tue, Mar 31, 2009 at 4:18 PM, Conal Elliott co...@conal.netmailto:co...@conal.net wrote: Do strict fields work with GADTs? If so, what's the syntax for the strictness annotations? - Conal ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Unable to compile ghc from darcs
Colin Paul Adams wrote: Simon == Simon Marlow marlo...@gmail.com writes: Simon Colin Paul Adams wrote: Simon == Simon Marlow marlo...@gmail.com writes: 6.11.20090319 (formerly bootstrapped from 6.10.1). Simon Ah, there's your problem. In general you can't bootstrap Simon GHC using a development snapshot, we only support building Simon using fixed released versions. So I re-installed ghc 6.10.1. Same problem. N.B. haddock --version now reports 2.3.0 Simon I have to ask - you did do a complete 'make distclean' Simon etc. before rebuilding? I did. Simon If so, could you send me a complete log of the build. My xterm window doesn't have a big enough buffer. Should I run the complete procedure (starting with make distclean) all over again, diverting output and error to a file? Yes, I normally do it like this: 'make | tee log' (or if you're using an impoverished shell, 'make 21 | tee log'). The build seems to be working smoothly for most people at the moment, so I'm fairly sure this is something specific to your setup somehow. Could you check for things like local changes: $ ./darcs-all w -s $ ./push-all http://darcs.haskell.org/ --dry-run Cheers, Simon ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Unable to compile ghc from darcs
Simon == Simon Marlow marlo...@gmail.com writes: Simon $ ./darcs-all w -s Only: == running darcs w -s --repodir . M ./compiler/ghc.cabal.in -5 +6 M ./compiler/main/DynFlags.hs +4 M ./compiler/main/GHC.hs +1 M ./compiler/main/HscTypes.lhs -1 +1 M ./compiler/rename/RnSource.lhs +3 M ./compiler/simplCore/SimplCore.lhs -4 +4 which is what I expect. Nothing that touches Haddock, as far as I know. Simon $ ./push-all http://darcs.haskell.org/ --dry-run == running darcs push --no-set-default http://darcs.haskell.org//ghc --dry-run --repodir . NOTE: Pushing to http URLs is not supported. You may be able to hack this to work using DARCS_APPLY_HTTP Would push the following changes: Fri Mar 27 19:06:16 GMT 2009 co...@colina.demon.co.uk * Incorporated ESC/Haskell was all that was found. That's the comment for the changes above. -- Colin Adams Preston Lancashire ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Unable to compile ghc from darcs
Colin Paul Adams wrote: Simon == Simon Marlow marlo...@gmail.com writes: Simon $ ./darcs-all w -s Only: == running darcs w -s --repodir . M ./compiler/ghc.cabal.in -5 +6 M ./compiler/main/DynFlags.hs +4 M ./compiler/main/GHC.hs +1 M ./compiler/main/HscTypes.lhs -1 +1 M ./compiler/rename/RnSource.lhs +3 M ./compiler/simplCore/SimplCore.lhs -4 +4 Is it possible that you changed the exports of the GHC module, perhaps? Haddock is complaining about a name class with maybeParen from the GHC module, but I can't see how maybeParen is exported from GHC, unless that's something you changed. Cheers, Simon ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Unable to compile ghc from darcs
Simon == Simon Marlow marlo...@gmail.com writes: Simon Is it possible that you changed the exports of the GHC Simon module, perhaps? Haddock is complaining about a name class Simon with maybeParen from the GHC module, but I can't see how Simon maybeParen is exported from GHC, unless that's something Simon you changed. Maybe by accident. How do I do a diff for ghc/ghc.cabal.in against the online repository? If I search for maybeParen in the added modules, I can only find one occurrence, and that is in a commented-out functions. -- Colin Adams Preston Lancashire ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Unable to compile ghc from darcs
Colin Paul Adams wrote: Simon == Simon Marlow marlo...@gmail.com writes: Simon Is it possible that you changed the exports of the GHC Simon module, perhaps? Haddock is complaining about a name class Simon with maybeParen from the GHC module, but I can't see how Simon maybeParen is exported from GHC, unless that's something Simon you changed. Maybe by accident. How do I do a diff for ghc/ghc.cabal.in against the online repository? darcs w ghc/ghc.cabal.in that shows your local changes. If I search for maybeParen in the added modules, I can only find one occurrence, and that is in a commented-out functions. start with 'darcs w' - I noticed you had a 1-line change to GHC.hs, what was that? Also you had a local patch Incorporated ESC/Haskell, perhaps that made some changes? Cheers, Simon ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Unable to compile ghc from darcs
Colin == Colin Paul Adams co...@colina.demon.co.uk writes: Simon == Simon Marlow marlo...@gmail.com writes: Simon Incorporated ESC/Haskell, perhaps that made some changes? I found it. maybeParen was added to the export list for HsTypes. I've added a hiding clause for it when importing HsSyn unqualified into GHC. (I don't know if that's the best fix - this isn't my code - I'm just trying to incorporate it into the current version so I can check the contracts in my code. I'm really out of my depth - I should learn to swim first) Anyway, it does the trick - the make now completes. -- Colin Adams Preston Lancashire ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
doCorePass
Between 6.8 and 6.11, function doCorePass in module SimplCore has changed types from: CoreToDo - HscEnv - UniqSupply - RuleBase - ModGuts - IO (SimplCount, ModGuts) to: CorePass (== CoreToDo) - ModGuts - CoreM ModGuts and it isn't easy for me to figure out the relationship between the two types. Is there some sort of formula I can follow to convert a function with the first type to the second? -- Colin Adams Preston Lancashire ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
ANNOUNCE: GHC version 6.10.2
== The (Interactive) Glasgow Haskell Compiler -- version 6.10.2 == The GHC Team is pleased to announce a new patchlevel release of GHC. This release contains a number of bugfixes relative to 6.10.1, including some performance fixes, so we recommend upgrading. Release notes are here: http://haskell.org/ghc/docs/6.10.2/html/users_guide/release-6-10-2.html How to get it ~ The easy way is to go to the web page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~ Haskell is a standard lazy functional programming language; the current language version is Haskell 98, agreed in December 1998 and revised December 2002. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating good code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces (C, whatever). GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~ Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ GHC developers' home page http://hackage.haskell.org/trac/ghc/ Haskell home page http://www.haskell.org/ Supported Platforms ~~~ The list of platforms we support, and the people responsible for them, is here: http://hackage.haskell.org/trac/ghc/wiki/Contributors Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: http://hackage.haskell.org/trac/ghc/wiki/Building Developers ~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: http://hackage.haskell.org/trac/ghc/ Mailing lists ~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at http://www.haskell.org/mailman/listinfo/glasgow-haskell-users http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see http://www.haskell.org/mailman/listinfo/ Some GHC developers hang out on #haskell on IRC, too: http://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: http://www.haskell.org/ghc/reportabug ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: doCorePass
2009/4/1 Colin Paul Adams co...@colina.demon.co.uk: Between 6.8 and 6.11, function doCorePass in module SimplCore has changed types from: CoreToDo - HscEnv - UniqSupply - RuleBase - ModGuts - IO (SimplCount, ModGuts) to: CorePass (== CoreToDo) - ModGuts - CoreM ModGuts The file to look at is CoreMonad.lhs. In particular, these functions exist: -- ** Reading from the monad getHscEnv, getAnnEnv, getRuleBase, getModule, getDynFlags, getOrigNameCache, liftIOWithCount And it is an instance of MonadUnique so has getUniqueSupplyM. This suggests the following implementation: lift :: (CoreToDo - HscEnv - UniqSupply - RuleBase - ModGuts - IO (SimplCount, ModGuts)) - CorePass - ModGuts - CoreM ModGuts lift f pass guts = do env - getHscEnv us - getUniqueSupplyM rb - getRuleBase liftIOWithCount (f pass env us rb guts) Disclaimer: I have not run this or even type checked it :-) Cheers, Max ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: ANNOUNCE: GHC version 6.10.2
On Wed, 1 Apr 2009 18:48:13 -0700, Lyle Kopnicky li...@qseep.net wrote: Great! But what happened to the time package? It was in 6.10.1. Has it been intentionally excluded from 6.10.2? Then I should probably hold off on installing the new version for now. Any estimate on when this problem will be fixed? -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekudekuplex.wordpress.com/ Translator/Interpreter / Mobile: +011 81 80-3603-6725 Furuike ya, kawazu tobikomu mizu no oto. -- Matsuo Basho^ ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users