- ghc-devs - Haskell.org

Pattern synonym type signatures
by Dr. ERDI Gergo 19 Nov '14

19 Nov '14

Hi, I have finished the implementation of type signature support for pattern synonyms. In the end, I went with the following syntax: pattern P :: (Prov b) => (Req a) => a -> b -> Int -> T a which declares a pattern synonym called `P`, with argument types `a`, `b`, and `Int`, and result type `T a`, with provided context `(Prov b)` and required context `(Req a)`. This has the advantage that it doesn't require new syntax at all (no funky `;` business in the contexts), and avoids the 'pattern type' monstrosity that Edward Kmett rightfully hated. I plan to finish up the branch tomorrow (by updating the documentation), and then merging it into master. That is still within the feature freeze window, right? Also, if anything comes up tomorrow and I cannot finish it after all, it'd be a real bummer not to get this into GHC 7.10. So the reason I'm sending this email now is to just make sure that it will make its way into 7.10. Thanks, Gergo

1 0

RE: [commit: ghc] wip/T8584: Add support for pattern synonym type signatures. Syntax is of the form (34acc90)
by Simon Peyton Jones 19 Nov '14

19 Nov '14

Gergo I've lost track. Is this ready to commit? Simon | -----Original Message----- | From: ghc-commits [mailto:ghc-commits-bounces@haskell.org] On Behalf Of | git(a)git.haskell.org | Sent: 19 November 2014 11:17 | To: ghc-commits(a)haskell.org | Subject: [commit: ghc] wip/T8584: Add support for pattern synonym type | signatures. Syntax is of the form (34acc90) | | Repository : ssh://git@git.haskell.org/ghc | | On branch : wip/T8584 | Link : | http://ghc.haskell.org/trac/ghc/changeset/34acc90ccef765ca6a55b69437a7218 | 28a7fba6c/ghc | | >--------------------------------------------------------------- | | commit 34acc90ccef765ca6a55b69437a721828a7fba6c | Author: Dr. ERDI Gergo <gergo(a)erdi.hu> | Date: Fri Nov 7 19:29:06 2014 +0800 | | Add support for pattern synonym type signatures. | Syntax is of the form | | pattern P :: (Prov b) => (Req a) => a -> b -> Int -> T a | | which declares a pattern synonym called `P`, with argument types `a`, | `b`, | and `Int`, and result type `T a`, with provided context `(Prov b)` | and required | context `(Req a)`. | | | >--------------------------------------------------------------- | | 34acc90ccef765ca6a55b69437a721828a7fba6c | compiler/hsSyn/HsBinds.lhs | 51 +++--- | compiler/hsSyn/HsTypes.lhs | 16 +- | compiler/iface/IfaceSyn.lhs | 25 ++- | compiler/iface/IfaceType.lhs | 15 +- | compiler/parser/Parser.y | 51 ++++-- | compiler/parser/RdrHsSyn.hs | 27 +--- | compiler/rename/RnBinds.lhs | 42 ++--- | compiler/typecheck/TcBinds.lhs | 50 +++++- | compiler/typecheck/TcClassDcl.lhs | 4 +- | compiler/typecheck/TcPat.lhs | 23 ++- | compiler/typecheck/TcPatSyn.lhs | 195 | +++++++++++++++++------ | compiler/typecheck/TcPatSyn.lhs-boot | 9 +- | testsuite/tests/ghci/scripts/T8776.stdout | 2 +- | testsuite/tests/patsyn/should_compile/T8584-1.hs | 8 + | testsuite/tests/patsyn/should_compile/T8968-1.hs | 8 + | testsuite/tests/patsyn/should_compile/all.T | 2 + | 16 files changed, 351 insertions(+), 177 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 | 34acc90ccef765ca6a55b69437a721828a7fba6c | _______________________________________________ | ghc-commits mailing list | ghc-commits(a)haskell.org | http://www.haskell.org/mailman/listinfo/ghc-commits

2 1

NOTE: the primary webserver is going down for immediate maintenance.
by Austin Seipp 19 Nov '14

19 Nov '14

Hello *, The primary haskell.org domain, www.haskell.org, is hosted on a system which seems to have lost one of its RAID disks completely. We were planning on moving this machine in the next few weeks to new infrastructure, but we are now expediting this plan and will be doing it ASAP. As we move this server, both the webserver and the mailing system will be going down. Please don't be alarmed if your emails aren't delivered or things go quiet. Many services will continue to work, but we do realize this will be upsetting for many. You can follow the progress on #haskell-infrastructure on Freenode, and see updates on https://status.haskell.org If you need to download something like a GHC binary or Haskell Platform package, you can use https://downloads.haskell.org in the mean time, which is a new service we were hoping to announce more officially soon, but is already working today. Unfortunately we cannot give an expected time of completion for the move, but we'll try to keep people well informed through IRC or something like Reddit. Thanks -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

2 1

RE: The future of the Haskell98 and Haskell2010 packages
by Austin Seipp 18 Nov '14

18 Nov '14

Hello all, A few weeks ago, I opened up a discussion about a particular GHC bug, #9590. This bug is concerned with the future of the Haskell98 and Haskell2010 packages, which try to embody their two respective Haskell standards. They do this by shipping the 'exact library specification' that the standards have. In our discussion this past week between me, SimonM, SPJ, Herbert and Mikolaj, we came to this discussion again since the 7.10 STABLE freeze is almost here, and it seems to have puttered out. In this discussion, we came to the conclusion we think these packages should be removed from GHC for the 7.10 release. To be clear, this was not a 100% unanimous decision or formal vote; SimonM and I supported removal, while everyone else seemed to be rather undecided or ambivalent. Most of the proposed alternative solutions seemed somewhat one-off. Furthermore, we didn't find a solution that wouldn't either A) require some amount of GHC modifications (possibly indefinitely into the future) to support these packages, or B) changing the definitions in these packages to deviate from the standard. Instead, we proposed that we instead overhaul part of the GHC users manual, and clearly outline our deviations from the Haskell 2010 standard library. To be clear: GHC can still typecheck, compile, and efficiently execute Haskell 2010 code. It is merely the distribution of compatible packages that has put us in something of a bind. Furthermore, we aren't aware of any other compilers/platforms like ours that try to maintain such stringent separation of these packages, and furthermore, both of the haskell{98,2010} packages have a fairly small number of reverse dependencies. I'd like to hear what people think about this. It seems likely I will move forward on this by the end of the week unless we face very strong opposition to this idea, or someone is willing to fix #9590 somehow for us. -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

4 4

Windows breakage agein
by Simon Peyton Jones 18 Nov '14

18 Nov '14

On Windows (sigh). Seems to be due to Simon Marlow's 2a6f193b rts\Schedule.c: In function 'suspendThread': rts\Schedule.c:2239:3: error: expected ';' before 'EnterCriticalSection' rts/ghc.mk:236: recipe for target 'rts/dist/build/Schedule.thr_o' failed

1 0

Typechecker plugins: request for review and another workflow question
by Iavor Diatchki 18 Nov '14

18 Nov '14

Hello, I just finished merging HEAD into the branch implementing constraint solver plugins (`wip/tc-plugins`), so things should be fully up to date. For ease of review, I squashed everything into a single commit: https://github.com/ghc/ghc/commit/31729d092c813edc4ef5682db2ee18b33aea6911 could interested folks (I know of SimonPJ, Richard, and Adam) have a look and let me know if things look reasonable? On a related note: I know that we are using phabricator for code review, but I don't know how to use it yet, so please let me know if I can do something to make the review easier. -Iavor

7 25

Re: [commit: ghc] master: Fix a bug introduced with allocation counters (2a6f193)
by Joachim Breitner 17 Nov '14

17 Nov '14

Hi Simon, Am Montag, den 17.11.2014, 13:13 +0000 schrieb git(a)git.haskell.org: > commit 2a6f193bb82f88e8dcb919ee7affc13feae56e98 > Author: Simon Marlow <marlowsd(a)gmail.com> > Date: Mon Nov 17 13:03:56 2014 +0000 > > Fix a bug introduced with allocation counters I think you forgot to add a file: =====> ffi023(normal) 3093 of 4195 [0, 0, 0] cd ./ffi/should_run && '/home/travis/build/ghc/ghc/inplace/bin/ghc-stage2' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-warn-tabs -fno-ghci-history -o ffi023 ffi023.hs ffi023_c.c >ffi023.comp.stderr 2>&1 Compile failed (status 256) errors were: ffi023_c.c:1:25: fatal error: ffi023_stub.h: No such file or directory compilation terminated. *** unexpected failure for ffi023(normal) Greetings, Joachim -- Joachim “nomeata” Breitner mail(a)joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata(a)joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nomeata(a)debian.org

1 0

Can't compile GHC-7.8.3 from git, fails on haskell98 library
by Dr. ERDI Gergo 17 Nov '14

17 Nov '14

Hi, On a completely clean clone, I've checked out the tag ghc-7.8.3-release, ran sync-all get, boot, and configure, but the build fails on haskell98. Any ideas what I could be doing wrong? Thanks, Gergo "inplace/bin/ghc-cabal" check libraries/haskell98 "inplace/bin/ghc-cabal" configure libraries/haskell98 dist-install "" --with-ghc="/home/cactus/prog/haskell/ghc/ghc-7.8-build/inplace/bin/ghc-stage1" --with-ghc-pkg="/home/cactus/prog/haskell/ghc/ghc-7.8-build/inplace/bin/ghc-pkg" --disable-library-for-ghci --enable-library-vanilla --disable-library-profiling --enable-shared --with-hscolour="/home/cactus/.cabal/bin/HsColour" --configure-option=CFLAGS=" -fno-stack-protector " --configure-option=LDFLAGS=" " --configure-option=CPPFLAGS=" " --gcc-options=" -fno-stack-protector " --with-gcc="/usr/bin/gcc" --with-ld="/usr/bin/ld" --configure-option=--with-cc="/usr/bin/gcc" --with-ar="/usr/bin/ar" --with-ranlib="/usr/bin/ranlib" --with-alex="/home/cactus/.cabal/bin/alex" --with-happy="/home/cactus/.cabal/bin/happy" Configuring haskell98-2.0.0.4... ghc-cabal: At least the following dependencies are missing: base ==4.8.* make[1]: *** [libraries/haskell98/dist-install/package-data.mk] Error 1

4 8

Windows breakage
by Simon Peyton Jones 14 Nov '14

14 Nov '14

This breakage didn't use to happen. Might someone fix it? Thanks. For now I'm going through changing a dozen "Trustworthy" to "Safe". Is that right? Simon librariesWin32SystemWin32Console.hsc:2:14: Warning: 'System.Win32.Console' is marked as Trustworthy but has been inferred as safe! <no location info>: Failing due to -Werror. libraries/Win32/ghc.mk:4: recipe for target 'libraries/Win32/dist-install/build/System/Win32/Console.o' failed

1 0

Re: More flexible literate Haskell extensions (Trac #9789), summary on wiki
by Simon Hengel 14 Nov '14

14 Nov '14

On Fri, Nov 14, 2014 at 03:53:13PM +0800, Simon Hengel wrote: > > Can you explain why this would not solve your usecase? i.e., why would > > README.lhs.md not suffice? > > I haven't tried, but my assumption was that this is not picked up by > GitHub. I just verified, GitHub dose not pick up README.lhs.md files as READMEs, meaning that a README.lhs.md file will not be rendered as a projects README file on GitHub. Cheers, Simon

1 0