IntRep etc

2019-09-02 Thread Simon Peyton Jones via ghc-devs
Omer, Ben
There's a little cluster of tickets that it'd be really good to nail.

  *   !1381/#16893: inline unsafeCoerce# in CorePrep
  *   #17041: coercion safety in STG Lint
  *   !1552: tidy up linting on unsafe coercions
  *   #16964: definition of Int#
  *   #17026: definition of IntRep
They are all somehow tied up together.  Can we kill them off together, soon?  I 
have left comments...
Simon
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs


Re: [ANNOUNCE] GHC 8.8.1 and cabal-install version

2019-09-02 Thread George Colpitts
https://www.haskell.org/ghc/blog/20190825-ghc-8.8.1-released.html says

cabal-install users should note that cabal-install-3.0 or later is required
for use with GHC 8.8.

but this seems wrong or have I done something wrong?

$ cabal install cabal-install
cabal install cabal-install
...

Resolving dependencies...
cabal: Could not resolve dependencies:
[__0] trying: cabal-install-3.0.0.0 (user goal)
[__1] next goal: time (dependency of cabal-install)
[__1] rejecting: time-1.9.3/installed-1.9... (conflict: cabal-install =>
base>=4.8 && <4.13, time => base==4.13.0.0/installed-4.1...)
[__1] trying: time-1.9.3
[__2] next goal: stm (dependency of cabal-install)
[__2] rejecting: stm-2.5.0.0/installed-2.5... (conflict: cabal-install =>
base>=4.8 && <4.13, stm => base==4.13.0.0/installed-4.1...)
[__2] trying: stm-2.5.0.0
[__3] next goal: process (dependency of cabal-install)
[__3] rejecting: process-1.6.5.1/installed-1.6... (conflict: cabal-install
=>
base>=4.8 && <4.13, process => base==4.13.0.0/installed-4.1...)
[__3] trying: process-1.6.5.1
[__4] next goal: pretty (dependency of cabal-install)
[__4] rejecting: pretty-1.1.3.6/installed-1.1... (conflict: cabal-install =>
base>=4.8 && <4.13, pretty => base==4.13.0.0/installed-4.1...)
[__4] trying: pretty-1.1.3.6
[__5] next goal: network (dependency of cabal-install)
[__5] rejecting: network-3.1.0.1/installed-CeX... (conflict: cabal-install
=>
base>=4.8 && <4.13, network => base==4.13.0.0/installed-4.1...)
[__5] trying: network-3.1.0.1
[__6] trying: hackage-security-0.5.3.0 (dependency of cabal-install)
[__7] next goal: template-haskell (dependency of hackage-security)
[__7] rejecting: template-haskell-2.15.0.0/installed-2.1... (conflict:
cabal-install => base>=4.8 && <4.13, template-haskell =>
base==4.13.0.0/installed-4.1...)
[__7] rejecting: template-haskell-2.15.0.0, template-haskell-2.14.0.0,
template-haskell-2.13.0.0, template-haskell-2.12.0.0,
template-haskell-2.11.1.0, template-haskell-2.11.0.0,
template-haskell-2.10.0.0, template-haskell-2.9.0.0,
template-haskell-2.8.0.0,
template-haskell-2.7.0.0, template-haskell-2.6.0.0,
template-haskell-2.5.0.0,
template-haskell-2.4.0.1, template-haskell-2.4.0.0,
template-haskell-2.3.0.1,
template-haskell-2.3.0.0, template-haskell-2.2.0.0 (constraint from
non-upgradeable package requires installed instance)
[__7] fail (backjumping, conflict set: cabal-install, hackage-security,
template-haskell)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: base, cabal-install, directory,
template-haskell, process, time, network, pretty, hackage-security, deepseq,
HTTP, stm, cabal-install:lib


On Mon, Aug 26, 2019 at 6:25 AM Ben Gamari  wrote:

>
> Hello everyone,
>
> The GHC team is pleased to announce the release candidate for GHC 8.8.1.
> The source distribution, binary distributions, and documentation are
> available at
>
> https://downloads.haskell.org/ghc/8.8.1
>
> This release is the culmination of over 3000 commits by over one hundred
> contributors and has several new features and numerous bug fixes
> relative to GHC 8.6:
>
>  * Visible kind applications are now supported (GHC Proposal #15)
>
>  * Profiling now works correctly on 64-bit Windows (although still may
>be problematic on 32-bit Windows due to platform limitations; see
>#15934)
>
>  * A new code layout algorithm for amd64's native code generator
>significantly improving the runtime performance of some kernels
>
>  * The introduction of a late lambda-lifting pass which may reduce
>allocations significantly for some programs.
>
>  * Further work on Trees That Grow, enabling improved code re-use of the
>Haskell AST in tooling
>
>  * Users can write `forall` in more contexts (GHC Proposal #7)
>
>  * The pattern-match checker is now more precise in the presence of
>strict fields with uninhabited types.
>
>  * A comprehensive audit of GHC's memory ordering barriers has been
>performed, resulting in a number of fixes that should significantly
>improve the reliability of programs on architectures with
>weakly-ordered memory models (e.g. PowerPC, many ARM and AArch64
>implementations).
>
>  * A long-standing linker limitation rendering GHCi unusable with
>projects with cyclic symbol dependencies has been fixed (#13786)
>
>  * Further work on the Hadrian build system
>
>  * Countless miscellaneous bug-fixes
>
> Unfortunately, due to a build issue (#17108) found late in the release
> process
> i386 Windows builds are currently unavailable. These will be provided in
> the coming weeks.
>
> As always, if anything looks amiss do let us know.
>
> Happy compiling!
>
> Cheers,
>
> - Ben
>
>
> [1]
> https://downloads.haskell.org/ghc/8.8.1/docs/html/users_guide/8.8.1-notes.html
> ___
> Glasgow-haskell-users mailing list
> glasgow-haskell-us...@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users

Multiple configurations???

2019-09-02 Thread Simon Peyton Jones via ghc-devs
I'm getting the message below on 'git fetch'.  Should I worry?
Simon


simonpj@MSRC-3645512:~/code/HEAD$ git fetch

setsockopt IPV6_TCLASS 8: Operation not permitted:

remote: Enumerating objects: 163, done.

remote: Counting objects: 100% (163/163), done.

remote: Compressing objects: 100% (78/78), done.

remote: Total 163 (delta 84), reused 136 (delta 84)

Receiving objects: 100% (163/163), 449.83 KiB | 6.82 MiB/s, done.

Resolving deltas: 100% (84/84), completed with 56 local objects.

>From gitlab.haskell.org:ghc/ghc

   fc746e98d8..9acba78004  master  -> origin/master

* [new branch]wip/T16502  -> origin/wip/T16502

   de7da97ac2..18a6075ce6  wip/faststring-weak -> origin/wip/faststring-weak

+ 707b8dcbed...fe9a1c238f wip/marge_bot_batch_merge_job -> 
origin/wip/marge_bot_batch_merge_job  (forced update)

   f1c13e3504..54829af722  wip/pmcheck-ncon-> origin/wip/pmcheck-ncon

* [new branch]wip/spj-cam-HEAD-> origin/wip/spj-cam-HEAD

+ 3daf83ecda...cd2002de17 wip/top-level-kind-signatures -> 
origin/wip/top-level-kind-signatures  (forced update)

warning: Submodule in commit d8e2d7e7b072c560d855017e1aaeecc6b3eef9ee at path: 
'(null)' collides with a submodule named the same. Skipping it.

warning: d8e2d7e7b072c560d855017e1aaeecc6b3eef9ee:.gitmodules, multiple 
configurations found for 'submodule.libraries/binary.path'. Skipping second one!

warning: d8e2d7e7b072c560d855017e1aaeecc6b3eef9ee:.gitmodules, multiple 
configurations found for 'submodule.libraries/binary.url'. Skipping second one!

warning: d8e2d7e7b072c560d855017e1aaeecc6b3eef9ee:.gitmodules, multiple 
configurations found for 'submodule.libraries/binary.ignore'. Skipping second 
one!

warning: d8e2d7e7b072c560d855017e1aaeecc6b3eef9ee:.gitmodules, multiple 
configurations found for 'submodule.libraries/bytestring.path'. Skipping second 
one!

warning: d8e2d7e7b072c560d855017e1aaeecc6b3eef9ee:.gitmodules, multiple 
configurations found for 'submodule.libraries/bytestring.url'. Skipping second 
one!

warning: d8e2d7e7b072c560d855017e1aaeecc6b3eef9ee:.gitmodules, multiple 
configurations found for 'submodule.libraries/bytestring.ignore'. Skipping 
second one!

warning: d8e2d7e7b072c560d855017e1aaeecc6b3eef9ee:.gitmodules, multiple 
configurations found for 'submodule.libraries/Cabal.path'. Skipping second one!

warning: d8e2d7e7b072c560d855017e1aaeecc6b3eef9ee:.gitmodules, multiple 
configurations found for 'submodule.libraries/Cabal.url'. Skipping second one!

...and lots more of this...
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs


Re: How do I find out which info table a continuation belongs to?

2019-09-02 Thread Ömer Sinan Ağacan
Fixed in https://gitlab.haskell.org/ghc/ghc/merge_requests/1654

Ömer

Ömer Sinan Ağacan , 10 Şub 2019 Paz, 10:49
tarihinde şunu yazdı:
>
> I'm currently working on a bug and one of the things I often want to know is
> what's on the stack. The problem is I can't see labels of continuations so the
> information is really useless. Example:
>
> >>> call printStack(((StgTSO*)0x42000e0198)->stackobj)
> 0x42000c8788: RET_SMALL (0x512d70)
> 0x42000c8790: RET_SMALL (0x40edf0)
>stk[5] (0x42000c8798) = 0x7b3938
> 0x42000c87a0: CATCH_FRAME(0x735a98,0x7d3ff2)
> 0x42000c87b8: STOP_FRAME(0x7311b8)
>
> (I modified the printer to print stack locations when printing stacks)
>
> Here I need to know which info table the RET_SMALLs return to. Normally I do
> this for other kinds of closures:
>
> >>> print ((StgClosure*)...)->header.info
> $15 = (const StgInfoTable *) 0x404dc0 
>
> But for continuations that doesn't work:
>
> >>> print ((StgClosure*)0x42000c8788)->header.info
> $11 = (const StgInfoTable *) 0x512d80
> >>> info symbol 0x512d80
> No symbol matches 0x512d80.
>
> Anyone know how to make this work? Can I maybe mark the continuations label in
> the generated assembly somehow to make those labels available in gdb?
>
> Thanks
>
> Ömer
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs