- ghc-devs - Haskell.org

RE: Haskeline on Windows
by Tamar Christina 31 Dec '15

31 Dec '15

GHC 8.0 wasn't branched at the time and I forgot to push the mk entry to ignore the warning. But I believe now that GHC has been branched we can just update the submodule. The pull request that fixed this issue had a lot of other unrelated changes and was rather big so it wasn't updated before. Regards, TamarFrom: Ryan Scott Sent: ‎31/‎12/‎2015 23:39 To: ghc-devs(a)haskell.org Subject: Re: Haskeline on Windows This is already fixed in the haskeline GitHub repo [1], but I never got around to updating the downstream haskeline repo on git.haskell.org [2] since I don't have push access. Can someone update it for me? Ryan S. ----- [1] https://github.com/judah/haskeline/commit/576e7cbc4cde1195fb97c8540caad38de… [2] http://git.haskell.org/packages/haskeline.git _______________________________________________ ghc-devs mailing list ghc-devs(a)haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

1 0

Haskeline on Windows
by Simon Peyton Jones 31 Dec '15

31 Dec '15

To get ‘haskeline’ to compile on Windows I have to apply the patch below. Otherwise this alignment thing is defined twice and the build fails Could someone fix it properly? Thanks! Simon modified System/Console/Haskeline/Backend/Win32.hsc @@ -167,7 +167,7 @@ getKeyEvent p = do data Coord = Coord {coordX, coordY :: Int} deriving Show -#let alignment t = "%lu", (unsigned long)offsetof(struct {char x__; t (y__); }, y__) +-- #let alignment t = "%lu", (unsigned long)offsetof(struct {char x__; t (y__); }, y__) instance Storable Coord where sizeOf _ = (#size COORD) alignment _ = (#alignment COORD)

1 0

May I update Kind page on wiki?
by Takenobu Tani 31 Dec '15

31 Dec '15

Dear devs, Apologies if I'm missing list. May I update Kind page on wiki[1] ? In my understanding[2], kind '#' means "unlifted" kind rather than "unboxed" kind. If it's right, may I update the wiki[1] for newcomers ? I'd like to change the wiki page[1] as following: - GHC introduces another inhabited kind, #, for unboxed types. + GHC introduces another inhabited kind, #, for unlifted types. [1]: https://wiki.haskell.org/Kind [2]: https://ghc.haskell.org/trac/ghc/browser/ghc/compiler/types/TyCoRep.hs#L284 I wish you a happy new year. Regards, Takenobu

2 2

Unlifted data types
by Edward Z. Yang 29 Dec '15

29 Dec '15

Hello friends, After many discussions and beers at ICFP, I've written up my current best understanding of the unlifted data types proposal: https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes Many thanks to Richard, Iavor, Ryan, Simon, Duncan, George, Paul, Edward Kmett, and any others who I may have forgotten for crystallizing this proposal. Cheers, Edward

12 67

Re: [GHC] #11239: GHC HEAD: cannot bootstrap HEAD with HEAD
by Gabor Greif 28 Dec '15

28 Dec '15

Sounds very much like it :-) Will try the workaround tomorrow. Em segunda-feira, 28 de dezembro de 2015, GHC <ghc-devs(a)haskell.org> escreveu: > #11239: GHC HEAD: cannot bootstrap HEAD with HEAD > -------------------------------------+------------------------------------- > Reporter: heisenbug | Owner: > Type: bug | Status: new > Priority: high | Milestone: 8.0.1 > Component: Compiler | Version: 7.11 > Resolution: | Keywords: > Operating System: Unknown/Multiple | Architecture: > Type of failure: Building GHC | Unknown/Multiple > failed | Test Case: > Blocked By: | Blocking: > Related Tickets: | Differential Rev(s): > Wiki Page: | > -------------------------------------+------------------------------------- > > Comment (by hvr): > > Replying to [comment:4 heisenbug]: > > It would be interesting to see if it is just me or if somebody can > reproduce the problem. > > Re `genprimopcode` see #11302 and #11303 > > -- > Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11239#comment:6> > GHC <http://www.haskell.org/ghc/> > The Glasgow Haskell Compiler >

1 0

Change from 7.10.3 to current master
by Alan & Kim Zimmerman 28 Dec '15

28 Dec '15

I am in the process of updating ghc-exactprint for current GHC master. One of the tests has the following in it ----------------------------- {-# LANGUAGE TypeOperators #-} type family (r1 :++: r2); infixr 5 :++: type instance r :++: Nil = r type instance r1 :++: r2 :> a = (r1 :++: r2) :> a ------------------------------ Current GHC master rejects this with /tmp/Foo.hs:5:15: error: Malformed head of type or class declaration: r1 :++: r2 :> a Is this expected, or a bug? Alan

2 2

CmmSwitchTest on 32-bit platforms?
by Ben Gamari 27 Dec '15

27 Dec '15

Hi Joachim! One of the issues I've recently noticed is that the codeGen/should_run/CmmSwitchTest testcase fails on 32-bit architectures [1] due to its use of 64-bit literals. Judging from the commit history of this file I suspect you are the original author of this test. What should we do about this? It seems like one option would be to make the sub-parts of this test which require 64-bit literals conditional on the word size. Cheers, - Ben [1] https://ghc.haskell.org/trac/ghc/ticket/11297

1 0

wip/T10832-generalised-injectivity
by Simon Peyton Jones 24 Dec '15

24 Dec '15

Jan, Richard I’ve spent much of today working on the generalised-injectivity branch wip/T10832-generalised-injectivity I’ve done a lot of refactoring: you could to worse than start with Note [Injectivity information] in TyCon, and the data types that follow. Not finished, but making progress Simon

1 0

alignment failure
by Simon Peyton Jones 24 Dec '15

24 Dec '15

Ryan Your commit d9c13cb8f5be89a030783d758fcf7c077351c6a9 breaks the build of ‘haskeline’ on Windows. See below. I think the fix is to remove the #let from libraries/haskeline/./System/Console/Haskeline/Backend/Win32.hsc. Could you make that, or whatever the right fix is, happen? Thanks Simon "inplace/bin/hsc2hs.exe" '--cc=C:/code/HEAD/inplace/mingw/bin/gcc.exe' '--ld=C:/code/HEAD/inplace/mingw/bin/gcc.exe' --cflag=-Wall --cflag=-Werror --cflag=-fno-stack-protector --cflag=-Dx86_64_HOST_ARCH=1 --cflag=-Dmingw32_HOST_OS=1 --cflag=-D__GLASGOW_HASKELL__=711 '--cflag=-fno-stack-protector' '--cflag=-Wall' '--cflag=-Werror' '--cflag=-Ilibraries/haskeline/dist-install/build/autogen' '--cflag=-Ilibraries/haskeline/includes' '--cflag=-DUSE_GHC_ENCODINGS' '--cflag=-DMINGW' '--cflag=-IC:\code\HEAD\libraries\directory\include' '--cflag=-IC:\code\HEAD\libraries\time\lib/include' '--cflag=-IC:\code\HEAD\libraries\containers\include' '--cflag=-IC:\code\HEAD\libraries\Win32\include' '--cflag=-IC:\code\HEAD\libraries\bytestring\include' '--cflag=-IC:\code\HEAD\libraries\base\include' '--cflag=-IC:\code\HEAD\libraries\integer-gmp\include' '--cflag=-IC:/code/HEAD/rts/dist/build' '--cflag=-IC:/code/HEAD/includes' '--cflag=-IC:/code/HEAD/includes/dist-derivedconstants/header' '--cflag=-Wno-error=inline' '--lflag=-LC:\code\HEAD\libraries\transformers\dist-install\build' '--lflag=-LC:\code\HEAD\libraries\directory\dist-install\build' '--lflag=-LC:\code\HEAD\libraries\time\dist-install\build' '--lflag=-LC:\code\HEAD\libraries\filepath\dist-install\build' '--lflag=-LC:\code\HEAD\libraries\containers\dist-install\build' '--lflag=-LC:\code\HEAD\libraries\Win32\dist-install\build' '--lflag=-LC:\code\HEAD\libraries\bytestring\dist-install\build' '--lflag=-LC:\code\HEAD\libraries\deepseq\dist-install\build' '--lflag=-LC:\code\HEAD\libraries\array\dist-install\build' '--lflag=-LC:\code\HEAD\libraries\base\dist-install\build' '--lflag=-LC:\code\HEAD\libraries\integer-gmp\dist-install\build' '--lflag=-LC:\code\HEAD\libraries\ghc-prim\dist-install\build' '--lflag=-LC:/code/HEAD/rts/dist/build' '--lflag=-luser32' '--lflag=-lgdi32' '--lflag=-lwinmm' '--lflag=-ladvapi32' '--lflag=-lshell32' '--lflag=-lshfolder' '--lflag=-lwsock32' '--lflag=-luser32' '--lflag=-lshell32' '--lflag=-lm' '--lflag=-lwsock32' '--lflag=-lgdi32' '--lflag=-lwinmm' '--lflag=-lmingwex' --cflag=-Ilibraries/haskeline/dist-install/build/autogen --cflag=-include --cflag=libraries/haskeline/dist-install/build/autogen/cabal_macros.h libraries/haskeline/./System/Console/Haskeline/Backend/Win32.hsc -o libraries/haskeline/dist-install/build/System/Console/Haskeline/Backend/Win32.hs Win32.hsc:170:0: error: "hsc_alignment" redefined [-Werror] In file included from libraries/haskeline/dist-install/build/System/Console/Haskeline/Backend/Win32_hsc_make.c:1:0: C:\code\HEAD\inplace/lib/template-hsc.h:88:0: note: this is the location of the previous definition #define hsc_alignment(t...) \ ^ cc1.exe: all warnings being treated as errors

2 1

RE: [commit: ghc] wip/T10832-generalised-injectivity: Generalized injective type families (332bc0d)
by Simon Peyton Jones 23 Dec '15

23 Dec '15

Jan Just to say that I'm working on your D10832 ticket. I've rebased your patch on HEAD, and pushed it to wip/T10832-generalised-injectivity I plan some actual work on it tomorrow Simon | -----Original Message----- | From: ghc-commits [mailto:ghc-commits-bounces@haskell.org] On Behalf Of | git(a)git.haskell.org | Sent: 23 December 2015 14:36 | To: ghc-commits(a)haskell.org | Subject: [commit: ghc] wip/T10832-generalised-injectivity: Generalized | injective type families (332bc0d) | | Repository : ssh://git@git.haskell.org/ghc | | On branch : wip/T10832-generalised-injectivity | Link : | https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fghc.haskell… | rg%2ftrac%2fghc%2fchangeset%2f332bc0d3af0a208ad310ce28cf798d4682423329%2fghc& | data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c2004c57729e44f345ad008d30ba | 6867c%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=YoNY2%2fx%2bBqO0FO5DUOLBRp | uqLlOm5kT%2bIwTXrLZ6Kgs%3d | | >--------------------------------------------------------------- | | commit 332bc0d3af0a208ad310ce28cf798d4682423329 | Author: Jan Stolarek <jan.stolarek(a)p.lodz.pl> | Date: Wed Dec 23 10:18:44 2015 +0000 | | Generalized injective type families | | (As modified onto HEAD, 23 Dec 15) | | Summary: | Generalization of injective type families to match the expressiveness of | functional dependencies, as briefly outlined in Section 7 of "Injective | type | families for Haskell" Haskell Symposium 2015 paper. See also injectivity | of | type C described on the wiki page | https://ghc.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies | | Test Plan: ./validate | | Reviewers: simonpj, austin, goldfire, bgamari | | Subscribers: thomie, mpickering | | Projects: #ghc | | Differential Revision: https://phabricator.haskell.org/D1287 | | GHC Trac Issues: #10832 | | | >--------------------------------------------------------------- | | 332bc0d3af0a208ad310ce28cf798d4682423329 | compiler/deSugar/DsMeta.hs | 18 +++++-- | compiler/hsSyn/Convert.hs | 15 ++++-- | compiler/hsSyn/HsDecls.hs | 21 ++++++-- | compiler/iface/IfaceSyn.hs | 18 ++++--- | compiler/parser/Parser.y | 31 +++++++---- | compiler/prelude/THNames.hs | 61 ++++++++++++-------- | -- | compiler/rename/RnSource.hs | 35 +++++++++---- | compiler/typecheck/FamInst.hs | 57 ++++++++++++-------- | compiler/typecheck/TcInteract.hs | 47 +++++++++++------ | compiler/typecheck/TcSplice.hs | 11 ++-- | compiler/typecheck/TcTyClsDecls.hs | 29 +++++++--- | compiler/typecheck/TcValidity.hs | 15 +++--- | compiler/types/FamInstEnv.hs | 27 +++++----- | compiler/types/TyCon.hs | 11 ++-- | compiler/types/Unify.hs | 15 +++--- | libraries/ghci/GHCi/TH/Binary.hs | 2 +- | libraries/template-haskell/Language/Haskell/TH.hs | 4 +- | .../template-haskell/Language/Haskell/TH/Lib.hs | 10 ++-- | .../template-haskell/Language/Haskell/TH/Ppr.hs | 10 ++-- | .../template-haskell/Language/Haskell/TH/Syntax.hs | 5 +- | 20 files changed, 285 insertions(+), 157 deletions(-) | | Diff suppressed because of size. To see it, use: | | git diff-tree --root --patch-with-stat --no-color --find-copies-harder -- | ignore-space-at-eol --cc 332bc0d3af0a208ad310ce28cf798d4682423329 | _______________________________________________ | ghc-commits mailing list | ghc-commits(a)haskell.org | https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.haskell. | org%2fcgi-bin%2fmailman%2flistinfo%2fghc- | commits&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c2004c57729e44f345ad | 008d30ba6867c%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=MrrhJNaC991MpNKtwr | Tb5cg7H41RAdGxX2c7GWosm5c%3d

1 0