- ghc-devs - Haskell.org

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

Kind classes and associated closed type families
by Ryan Scott 22 Dec '15

22 Dec '15

Thanks to Richard's hard work, I can now define kind classes! class Extractable k where type Extract (n :: Nat) (x :: k) :: y (For context, Extract is something roughly resembling the X type family in the paper Generic Programming for Indexed Datatypes. [1]) This is really, really cool. Except that when I tried using this class, I quickly ran into issues: instance Extractable (a, b) where type Extract 0 '(l, _) = l type Extract 1 '(_, r) = r type Extract _ _ = TypeError ('Text "out of bounds") This yields the error: Extractable.hs:16:8: error: Conflicting family instance declarations: forall a b (r :: b) (_ :: a). Extract 1 '(_, r) = r -- Defined at Extractable.hs:16:8 forall a b (_ :: Nat) (_1 :: (a, b)) y. Extract _ _1 = (TypeError ...) -- Defined at Extractable.hs:17:8 It hit me as to why: GHC is interpreting each Extract type instance as being separate from each other, not as a part of a single, closed type family over kind (a, b). And as it turns out, GHC does not allow closed associated type families. [2] That leads me to wonder: is there a particular reason why GHC couldn't allow closed associated type families? Because of this restriction, I have to define the Extractable (a, b) instance like this: instance Extractable (a, b) where type Extract n p = ExtractPair n p type family ExtractPair (n :: Nat) (x :: (a, b)) :: y where ExtractPair 0 '(a, _) = a ExtractPair 1 '(_, b) = b ExtractPair _ _ = TypeError ('Text "out of bounds") But that requires -XUndecidableInstances, and makes it much more difficult to examine type family reductions with GHCi's :kind! command. Ryan S. ----- [1] http://dreixel.net/research/pdf/gpid.pdf [2] https://downloads.haskell.org/~ghc/master/users-guide/glasgow_exts.html#syn…

2 5

Kinds of type synonym arguments
by Ömer Sinan Ağacan 21 Dec '15

21 Dec '15

In this program: {-# LANGUAGE MagicHash, UnboxedTuples #-} module Main where import GHC.Prim import GHC.Types type Tuple a b = (# a, b #) main = do let -- x :: Tuple Int# Float# x :: (# Int#, Float# #) x = (# 1#, 0.0# #) return () If I use the first type declaration for 'x' I'm getting this error message: Expecting a lifted type, but ‘Int#’ is unlifted Indeed, if I look at the kinds of arguments of 'Tuple': λ:7> :k Tuple Tuple :: * -> * -> # It's star. I was wondering why is this not 'OpenKind'(or whatever the super-kind of star and hash). Is there a problem with this? Is this a bug? Or is this simply because type synonyms are implemented before OpenKinds?

6 12

ExprWithTySigOut
by Alan & Kim Zimmerman 21 Dec '15

21 Dec '15

At the moment HsExpr includes the following two constructors | ExprWithTySig (LHsExpr id) (LHsSigWcType id) | ExprWithTySigOut -- Post typechecking (LHsExpr id) (LHsSigWcType Name) -- Retain the signature, -- as HsSigType Name, for -- round-tripping purposes I do not understand why we need the second one, which hard-codes Name instead of id. There are a couple of places where there is an XXXOut variant with hard coded Name parameter, and these complicate creating any kind of custom class intended to work on a parameterised AST as it ripples out and forces Name instances of it everywhere. Perhaps we should introduce HsExprLR id id to cope with renaming? Alan

3 2

RE: [commit: ghc] master: SrcLoc: Eliminate constructors of RealSrcSpan (987426c)
by Simon Peyton Jones 21 Dec '15

21 Dec '15

Does this change yield any benefits? Eg. if we can now unbox SrcLoc does something go faster? S | -----Original Message----- | From: ghc-commits [mailto:ghc-commits-bounces@haskell.org] On Behalf Of | git(a)git.haskell.org | Sent: 18 December 2015 17:33 | To: ghc-commits(a)haskell.org | Subject: [commit: ghc] master: SrcLoc: Eliminate constructors of RealSrcSpan | (987426c) | | Repository : ssh://git@git.haskell.org/ghc | | On branch : master | Link : | https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fghc.haskell. | org%2ftrac%2fghc%2fchangeset%2f987426c04fdea33d9e02c2a195d6885248b77574%2fgh | c&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c02a06bd4542a4d06ef8008d3 | 07d17760%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=SsUgj9Ei9cT5%2fuiDnBAD | G9cc268AQ4cx8s2t2hY94t4%3d | | >--------------------------------------------------------------- | | commit 987426c04fdea33d9e02c2a195d6885248b77574 | Author: Ben Gamari <bgamari.foss(a)gmail.com> | Date: Fri Dec 18 17:21:22 2015 +0100 | | SrcLoc: Eliminate constructors of RealSrcSpan | | This type is occurs very often but previously had multiple, meaning it | could not be unboxed. Even worse, these constructors didn't offer any | compelling safety benefits. Thankfully, the type is abstract, so | changing the representation to be a single-constructor type was quite | straightforward. | | Reviewers: austin | | Subscribers: alanz, thomie, hvr | | Differential Revision: https://phabricator.haskell.org/D1657 | | | >--------------------------------------------------------------- | | 987426c04fdea33d9e02c2a195d6885248b77574 | compiler/basicTypes/SrcLoc.hs | 95 ++++++++++++++++++---------------------- | --- | 1 file changed, 40 insertions(+), 55 deletions(-) | | diff --git a/compiler/basicTypes/SrcLoc.hs b/compiler/basicTypes/SrcLoc.hs | index e171e70..524da78 100644 | --- a/compiler/basicTypes/SrcLoc.hs | +++ b/compiler/basicTypes/SrcLoc.hs | @@ -240,7 +240,7 @@ instance Data SrcSpan where -} | | {- | | -A SrcSpan delimits a portion of a text file. It could be represented | +A 'RealSrcSpan' delimits a portion of a text file. It could be | +represented | by a pair of (line,column) coordinates, but in fact we optimise slightly | by using more compact representations for single-line and zero-length | spans, both of which are quite common. | @@ -250,28 +250,17 @@ span. That is, a span of (1,1)-(1,2) is one character | long, and a span of (1,1)-(1,1) is zero characters long. | -} | data RealSrcSpan | - = SrcSpanOneLine -- a common case: a single line | - { srcSpanFile :: !FastString, | - srcSpanLine :: {-# UNPACK #-} !Int, | - srcSpanSCol :: {-# UNPACK #-} !Int, | - srcSpanECol :: {-# UNPACK #-} !Int | - } | - | - | SrcSpanMultiLine | + = RealSrcSpan' | { srcSpanFile :: !FastString, | srcSpanSLine :: {-# UNPACK #-} !Int, | srcSpanSCol :: {-# UNPACK #-} !Int, | srcSpanELine :: {-# UNPACK #-} !Int, | srcSpanECol :: {-# UNPACK #-} !Int | } | - | - | SrcSpanPoint | - { srcSpanFile :: !FastString, | - srcSpanLine :: {-# UNPACK #-} !Int, | - srcSpanCol :: {-# UNPACK #-} !Int | - } | deriving (Eq, Typeable) | | +-- | A 'SrcSpan' identifies either a specific portion of a text file | +-- or a human-readable description of a location. | data SrcSpan = | RealSrcSpan !RealSrcSpan | | UnhelpfulSpan !FastString -- Just a general indication | @@ -296,15 +285,11 @@ srcLocSpan (UnhelpfulLoc str) = UnhelpfulSpan str | srcLocSpan (RealSrcLoc l) = RealSrcSpan (realSrcLocSpan l) | | realSrcLocSpan :: RealSrcLoc -> RealSrcSpan -realSrcLocSpan (SrcLoc file | line col) = SrcSpanPoint file line col | +realSrcLocSpan (SrcLoc file line col) = RealSrcSpan' file line col line | +col | | -- | Create a 'SrcSpan' between two points in a file mkRealSrcSpan :: | RealSrcLoc -> RealSrcLoc -> RealSrcSpan -mkRealSrcSpan loc1 loc2 | - | line1 == line2 = if col1 == col2 | - then SrcSpanPoint file line1 col1 | - else SrcSpanOneLine file line1 col1 col2 | - | otherwise = SrcSpanMultiLine file line1 col1 line2 col2 | +mkRealSrcSpan loc1 loc2 = RealSrcSpan' file line1 col1 line2 col2 | where | line1 = srcLocLine loc1 | line2 = srcLocLine loc2 | @@ -312,6 +297,16 @@ mkRealSrcSpan loc1 loc2 | col2 = srcLocCol loc2 | file = srcLocFile loc1 | | +-- | 'True' if the span is known to straddle only one line. | +isOneLineRealSpan :: RealSrcSpan -> Bool isOneLineRealSpan | +(RealSrcSpan' _ line1 _ line2 _) | + = line1 == line2 | + | +-- | 'True' if the span is a single point isPointRealSpan :: | +RealSrcSpan -> Bool isPointRealSpan (RealSrcSpan' _ line1 col1 line2 | +col2) | + = line1 == line2 && col1 == col2 | + | -- | Create a 'SrcSpan' between two points in a file mkSrcSpan :: SrcLoc - | > SrcLoc -> SrcSpan mkSrcSpan (UnhelpfulLoc str) _ = UnhelpfulSpan str @@ - | 331,11 +326,7 @@ combineSrcSpans (RealSrcSpan span1) (RealSrcSpan span2) | -- within both spans. Assumes the "file" part is the same in both inputs | combineRealSrcSpans :: RealSrcSpan -> RealSrcSpan -> RealSrcSpan | combineRealSrcSpans span1 span2 | - = if line_start == line_end | - then if col_start == col_end | - then SrcSpanPoint file line_start col_start | - else SrcSpanOneLine file line_start col_start col_end | - else SrcSpanMultiLine file line_start col_start line_end col_end | + = RealSrcSpan' file line_start col_start line_end col_end | where | (line_start, col_start) = min (srcSpanStartLine span1, srcSpanStartCol | span1) | (srcSpanStartLine span2, srcSpanStartCol | span2) @@ -392,21 +383,10 @@ srcSpanEndLine :: RealSrcSpan -> Int | srcSpanStartCol :: RealSrcSpan -> Int srcSpanEndCol :: RealSrcSpan -> Int | | -srcSpanStartLine SrcSpanOneLine{ srcSpanLine=l } = l -srcSpanStartLine | SrcSpanMultiLine{ srcSpanSLine=l } = l -srcSpanStartLine SrcSpanPoint{ | srcSpanLine=l } = l | - | -srcSpanEndLine SrcSpanOneLine{ srcSpanLine=l } = l -srcSpanEndLine | SrcSpanMultiLine{ srcSpanELine=l } = l -srcSpanEndLine SrcSpanPoint{ | srcSpanLine=l } = l | - | -srcSpanStartCol SrcSpanOneLine{ srcSpanSCol=l } = l -srcSpanStartCol | SrcSpanMultiLine{ srcSpanSCol=l } = l -srcSpanStartCol SrcSpanPoint{ | srcSpanCol=l } = l | - | -srcSpanEndCol SrcSpanOneLine{ srcSpanECol=c } = c -srcSpanEndCol | SrcSpanMultiLine{ srcSpanECol=c } = c -srcSpanEndCol SrcSpanPoint{ | srcSpanCol=c } = c | +srcSpanStartLine RealSrcSpan'{ srcSpanSLine=l } = l srcSpanEndLine | +RealSrcSpan'{ srcSpanELine=l } = l srcSpanStartCol RealSrcSpan'{ | +srcSpanSCol=l } = l srcSpanEndCol RealSrcSpan'{ srcSpanECol=c } = c | | {- | ************************************************************************ | @@ -462,14 +442,17 @@ instance Show RealSrcLoc where | | -- Show is used by Lexer.x, because we derive Show for Token instance Show | RealSrcSpan where | - show (SrcSpanOneLine file l sc ec) | + show span@(RealSrcSpan' file sl sc el ec) | + | isPointRealSpan span | + = "SrcSpanPoint " ++ show file ++ " " ++ intercalate " " (map show | + [sl,sc]) | + | + | isOneLineRealSpan span | = "SrcSpanOneLine " ++ show file ++ " " | - ++ intercalate " " (map show [l,sc,ec]) | - show (SrcSpanMultiLine file sl sc el ec) | + ++ intercalate " " (map show [sl,sc,ec]) | + | + | otherwise | = "SrcSpanMultiLine " ++ show file ++ " " | ++ intercalate " " (map show [sl,sc,el,ec]) | - show (SrcSpanPoint file l c) | - = "SrcSpanPoint " ++ show file ++ " " ++ intercalate " " (map show | [l,c]) | | | instance Outputable RealSrcSpan where | @@ -500,15 +483,22 @@ pprUserSpan _ (UnhelpfulSpan s) = ftext s | pprUserSpan show_path (RealSrcSpan s) = pprUserRealSpan show_path s | | pprUserRealSpan :: Bool -> RealSrcSpan -> SDoc -pprUserRealSpan show_path | (SrcSpanOneLine src_path line start_col end_col) | +pprUserRealSpan show_path span@(RealSrcSpan' src_path line col _ _) | + | isPointRealSpan span | = hcat [ ppWhen show_path (pprFastFilePath src_path <> colon) | , int line <> colon | - , int start_col | - , ppUnless (end_col - start_col <= 1) (char '-' <> int (end_col - | 1)) ] | + , int col ] | + | +pprUserRealSpan show_path span@(RealSrcSpan' src_path line scol _ ecol) | + | isOneLineRealSpan span | + = hcat [ ppWhen show_path (pprFastFilePath src_path <> colon) | + , int line <> colon | + , int scol | + , ppUnless (ecol - scol <= 1) (char '-' <> int (ecol - 1)) ] | -- For single-character or point spans, we just | -- output the starting column number | | -pprUserRealSpan show_path (SrcSpanMultiLine src_path sline scol eline ecol) | +pprUserRealSpan show_path (RealSrcSpan' src_path sline scol eline ecol) | = hcat [ ppWhen show_path (pprFastFilePath src_path <> colon) | , parens (int sline <> comma <> int scol) | , char '-' | @@ -516,11 +506,6 @@ pprUserRealSpan show_path (SrcSpanMultiLine src_path | sline scol eline ecol) | where | ecol' = if ecol == 0 then ecol else ecol - 1 | | -pprUserRealSpan show_path (SrcSpanPoint src_path line col) | - = hcat [ ppWhen show_path (pprFastFilePath src_path <> colon) | - , int line <> colon | - , int col ] | - | {- | ************************************************************************ | * * | | _______________________________________________ | 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%7c02a06bd4542a4d06ef | 8008d307d17760%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=L7r%2buyrlMk0mSh | hWTNgi7%2bfhTgu2Osarn6rI6z706cw%3d

2 2

Re: Haddock for GHC 8.0
by Gautier DI FOLCO 21 Dec '15

21 Dec '15

------------------------------ > tl;dr: Help needed to bring Haddock up-to-date for the GHC 8.0 release. > > > Hello everyone, > > As you likely know, the GHC 8.0 release cycle is quickly drawing to a > close. One of the tasks that remains outstanding is porting the patches > on Haddock's `ghc-head` branch to `master`. This task is bound to > require a bit more work than usual this time around as both GHC and > Haddock have evolved significantly (which is a good thing!). Sadly, > Austin and I are quite busy at the moment and would be hard-pressed to > undertake such a task ourselves. Consequently, we need a volunteer to > pick up this work. > > At the moment the GHC release schedule is largely determined by progress > on the no-kinds branch but we expect to have a release candidate out > within the next two weeks. If we aren't able to find someone to bring > haddock up-to-date by mid-January I'm afraid we'll have to release GHC > 8.0 with the current state of the `ghc-head` branch. Considering the > significant effort that went into this summer's GSoC projects, this > would be a shame. > > If you think you might be able to contribute to this effort, please say > so in this thread. > > Thanks for all of your effort, > > - Ben >

2 2