- ghc-devs - Haskell.org

ghc-ios 7.8 working build
by Luke Iannini 06 Feb '14

06 Feb '14

Hi all, I believe I've worked around the issues with make binary-dist and cross-compilation. This should be a working binary for iOS devices https://github.com/ghc-ios/ghc-ios-scripts/releases/download/7.8-rc1-device… Please try ./configure && make install (it should live happily next to your current ghc as arm-apple-darwin10-ghc) and let me know so we can have a build ready for 7.8 RC2! Cheers Luke

2 5

doc fix
by Kazu Yamamoto 05 Feb '14

05 Feb '14

Hi, If I understand correctly, NoMonomorphismRestriction is now the default for GHC 7.8. I think that its document explicitly describes it. --Kazu

3 2

GHC iOS make binary-dist
by Luke Iannini 05 Feb '14

05 Feb '14

Hi folks, I'm all set to release binaries for GHC iOS (arm and i386 simulator), but didn't realize the "make binary-dist" machinery is broken for cross-compilers. I'm starting work on it but will be fumbling in the dark a bit so if anyone has any knowledge or link or ideas on where to look, I'd love to hear them! Here's the output of "make binary-dist" on a tree after a successful "make" for arm-apple-darwin10 (which will "make install" perfectly). http://lpaste.net/99475 Cheers Luke

1 3

Cabal release for 7.8
by Johan Tibell 05 Feb '14

05 Feb '14

Hi, I guess we need one last cabal release for 7.8? Are we ready for that now, or do you expect any more 7.8 change that will require cabal changes? -- Johan

2 2

Summarize #7602
by Andrew Farmer 04 Feb '14

04 Feb '14

I know that #7602 has been mentioned as a final loose end in the RC. I was wondering if someone in the know could summarize its status in regards to how it effects GHC users. Feel free to be blisteringly brief... ;-) I'm just looking for things like: "this is a non-issue on modern OS X/Clang" or "it'll be fixed soon just be patient" or "we've done our part, this is Apple's problem now". I gave the trac thread a read-through, but there seems to be several degrees of flexibility/workarounds, so I'm still not sure if this is something I should worry about on my OS X machine. Thanks for your cycles! Andrew

3 2

RE: [GHC] #8704: Use GHC.Exts.build in randoms, randomRs to achieve fusion
by Simon Peyton Jones 04 Feb '14

04 Feb '14

Hi Ryan Are you on this thread? You probably should be! Simon | -----Original Message----- | From: ghc-tickets [mailto:ghc-tickets-bounces@haskell.org] On Behalf Of | GHC | Sent: 27 January 2014 18:49 | Cc: ghc-tickets(a)haskell.org | Subject: Re: [GHC] #8704: Use GHC.Exts.build in randoms, randomRs to | achieve fusion | | #8704: Use GHC.Exts.build in randoms, randomRs to achieve fusion | -------------------------------------+--------------------------------- | --- | Reporter: ion1 | Owner: | Type: feature request | Status: patch | Priority: normal | Milestone: | Component: libraries/random | Version: 7.6.3 | Resolution: | Keywords: fusion | Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple | Type of failure: None/Unknown | Difficulty: Unknown | Test Case: | Blocked By: | Blocking: | Related Tickets: #4218 | -------------------------------------+--------------------------------- | --- | | Comment (by nomeata): | | Thanks. From my POV it is worth adding even if you can’t measure a | performance gain; it is still good to know that nice code is being | generated. But of course it is up to Ryan Newton (random maintainer) | to | decide this. | | -- | Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8704#comment:4> | GHC <http://www.haskell.org/ghc/> | The Glasgow Haskell Compiler | _______________________________________________ | ghc-tickets mailing list | ghc-tickets(a)haskell.org | http://www.haskell.org/mailman/listinfo/ghc-tickets

2 1

please elaborate on comment for base:Data.Type.Equality.(==)?
by Nicolas Frisby 04 Feb '14

04 Feb '14

[CC'ing Richard, as I'm guessing he's the author of the comment.] I have a question regarding the comment on the type family Data.Type.Equality.(==). "A poly-kinded instance [of ==] is *not* provided, as a recursive definition for algebraic kinds is generally more useful." Can someone elaborate on "generally more useful". Thank you.

2 2

GHC boot-library package changelogs & release-notes
by Herbert Valerio Riedel 04 Feb '14

04 Feb '14

Hello fellow GHC devs, As some of you might have noticed, I added a changelog.md file to libraries/base: https://github.com/ghc/packages-base/blob/c8634027d4e3315a2276fb1be8168c486… (please feel free to fix any typos/omissions/whatever you notice) My hope/motivation is that since Hackage gained the ability to display changelog files, the rather extensive changes in `base` might be a bit more easily/conveniently accessible on Hackage. I chose to use Markdown format, as I believe it may be more convenient to maintain/edit the `base` changelog as plain text rather than having to edit XML after each noteworthy change in `base`. And as the release-notes typically only exploit a subset of the Docbook facilities, the conversion to Docbook XML could be performed semi-automatically shortly before a release. Moreover, the release notes from previous major GHC release (which in the past contained the major changes in `base` et al.) are usually removed again. While a separate changelog file would usually retain (more) version history. Therefore, I'd propose to switch from editing the user's guide release note for library release notes to using Hackage-changelog files in Markdown format (following a common structural convention) and make it the release-manager's responsibility to integrate the respective package's changelog content into the user's guide. Any comments? Cheers, hvr

4 3

TypeNats trial on new ghc branch 7.8
by Gabriel Riba 01 Feb '14

01 Feb '14

I know that the TypeNats solver may not have been merged with 7.8 branch but the compiler error looks so simple: Couldn't match type ‛(n + m) - 1’ with ‛(n - 1) + m’ --------------------------------- {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeOperators, PolyKinds, ExistentialQuantification #-} import GHC.TypeLits data Vect :: Nat -> * -> * where Nil :: Vect 0 a Cons :: a -> Vect (n-1) a -> Vect n a data MyProxy (n::Nat) = forall a. MyProxy (Vect n a) toProxy :: Vect (n::Nat) a -> MyProxy n toProxy v = MyProxy v len :: KnownNat n => Vect (n::Nat) a -> Integer len v = (natVal . toProxy) v -- Ok append :: Vect n a -> Vect m a -> Vect (n+m) a append Nil ys = ys append (Cons x xs) ys = Cons x (append xs ys) -- compiler error main = do print $ len Nil -- Ok print $ len (Cons (1::Int) Nil) -- Ok ------------------------------------------------------ Error on "append (Cons x xs) ys = ..." Couldn't match type ‛(n + m) - 1’ with ‛(n - 1) + m’ Expected type: Vect ((n + m) - 1) a Actual type: Vect ((n - 1) + m) a

4 3

Re: [commit: haddock] master: Update tests (18e9417)
by Gabor Greif 31 Jan '14

31 Jan '14

Unless I missed something big style, -XTypeHoles has been renamed to -XTypedHoles and not removed at all. Are you sure this patch is valid? Cheers, Gabor On 1/30/14, git(a)git.haskell.org <git(a)git.haskell.org> wrote: > Repository : ssh://git@git.haskell.org/haddock > > On branch : master > Link : > http://git.haskell.org/haddock.git/commitdiff/18e9417edcda21dd23edf675b41f4… > >>--------------------------------------------------------------- > > commit 18e9417edcda21dd23edf675b41f46ab336d773f > Author: Mateusz Kowalczyk <fuuzetsu(a)fuuzetsu.co.uk> > Date: Wed Jan 29 21:41:58 2014 +0000 > > Update tests > > This updates tests due to Haddock Trac #271 fix and due to removal of > TypeHoles as an extension from GHC. > > >>--------------------------------------------------------------- > > 18e9417edcda21dd23edf675b41f46ab336d773f > html-test/ref/Extensions.html | 2 +- > html-test/ref/Test.html | 2 +- > html-test/src/Extensions.hs | 2 +- > 3 files changed, 3 insertions(+), 3 deletions(-) > > diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html > index 82fd732..382083c 100644 > --- a/html-test/ref/Extensions.html > +++ b/html-test/ref/Extensions.html > @@ -47,7 +47,7 @@ window.onload = function () > {pageLoad();setSynopsis("mini_Extensions.html");}; > ><th > >Extensions</th > ><td > - >TypeHoles</td > + >ExplicitForAll</td > ></tr > ></table > ><p class="caption" > diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html > index 0214662..bd447ea 100644 > --- a/html-test/ref/Test.html > +++ b/html-test/ref/Test.html > @@ -41,7 +41,7 @@ window.onload = function () > {pageLoad();setSynopsis("mini_Test.html");}; > ><th > >License</th > ><td > - >(c) Simon Marlow 2002</td > + >BSD-style</td > ></tr > ><tr > ><th > diff --git a/html-test/src/Extensions.hs b/html-test/src/Extensions.hs > index 6b3535c..61eac21 100644 > --- a/html-test/src/Extensions.hs > +++ b/html-test/src/Extensions.hs > @@ -1,4 +1,4 @@ > -{-# LANGUAGE Haskell2010, TypeHoles, MonomorphismRestriction #-} > +{-# LANGUAGE Haskell2010, ExplicitForAll, MonomorphismRestriction #-} > {-# OPTIONS_HADDOCK show-extensions #-} > module Extensions where > > > _______________________________________________ > ghc-commits mailing list > ghc-commits(a)haskell.org > http://www.haskell.org/mailman/listinfo/ghc-commits >

2 2