Many new validate failures, "Synonym in TyConAppCo"-related
Hi, I suddenly get Unexpected failures: gadt T7294 [exit code non-0] (normal) indexed-types/should_compile GADT1 [exit code non-0] (normal) indexed-types/should_compile GADT11 [exit code non-0] (normal) indexed-types/should_compile GADT3 [exit code non-0] (normal) indexed-types/should_compile IndTypesPerf [bad exit code] (normal) indexed-types/should_compile NonLinearLHS [exit code non-0] (normal) indexed-types/should_compile Numerals [exit code non-0] (normal) indexed-types/should_compile Roman1 [exit code non-0] (normal) indexed-types/should_compile Simple9 [exit code non-0] (normal) indexed-types/should_compile T2219 [exit code non-0] (normal) indexed-types/should_compile T2627 [exit code non-0] (normal) indexed-types/should_compile T3484 [exit code non-0] (normal) indexed-types/should_compile T4935 [exit code non-0] (normal) indexed-types/should_compile T7585 [exit code non-0] (normal) indexed-types/should_fail T2664a [exit code non-0] (normal) polykinds PolyKinds10 [exit code non-0] (normal) polykinds PolyKinds12 [exit code non-0] (normal) polykinds T6002 [exit code non-0] (normal) simplCore/should_compile T5329 [exit code non-0] (normal) simplCore/should_run T5315 [exit code non-0] (optasm) typecheck/should_compile T5490 [exit code non-0] (normal) typecheck/should_compile T7196 [exit code non-0] (normal) after these three changes were pushed: Changes to ghc: commit 214ad2d24cda4aaef541df3e213d5c4845f95c71 Author: Peter Trommler Date: Wed Apr 30 11:41:51 2014 +0200 Fix globalRegMaybe for unregisterised build. In commit 83a003f globalRegMaybe will be called but panics for unregisterised compilers. In an unregisterised compiler there are no global registers so always return `Nothing`. Fixes #9055. commit 21f17d06aa5c33e639f1b0d37b4bf888b494c441 Author: Simon Peyton Jones Date: Tue May 13 13:17:19 2014 +0100 Fix invariant in mkAppCoFlexible mkAppCoFlexible was breaking the invariant that the head of a TyConAppCo cannot be a type synonym. This small patch fixes it. commit 4cfc1fae11ec9a5c4b34ac747f0ce50f52423eba Author: Simon Peyton Jones Date: Tue May 13 13:15:45 2014 +0100 Lint should check that TyConAppCo doesn't have a synonym in the tycon position That is why Lint didn't nail Trac #9102 Full log at https://s3.amazonaws.com/archive.travis-ci.org/jobs/25063931/log.txt. It seems that most, if not all, fail with a "Synonym in TyConAppCo" lint error. If Lint is correct here, then this may indicate further bugs are around. But in that case the correct thing would be to have a ticket number for that problem and mark all failing test cases as expect_broken – it’s the only sensible way of having an always succeeding test suite in master. So is the Lint check correct and this uncovered one or more bugs here, or is the Lint check actually too restrictive? Greetings, Joachim Greetings, Joachim -- Joachim “nomeata” Breitner m...@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nome...@joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nome...@debian.org signature.asc Description: This is a digitally signed message part ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
Re: Many new validate failures, "Synonym in TyConAppCo"-related
I see that the core-lint patch calls:
> -- | Is this a 'TyCon' representing a type synonym (@type@)?
> isSynTyCon :: TyCon -> Bool
> isSynTyCon (SynTyCon {}) = True
> isSynTyCon _ = False
And from simon's comments it seems like he only wanted to check for "normal"
type synonyms.
'isSynTyCon' asserts to 'True' for many more tycons though, which include,
aside from normal type synonyms:
- type family tycons
- dictionary tycons
Most of the core lint errors seem to be due to the fact that 'TyConAppCo' is
applied to a type family tycon.
-- Christiaan
p.s. Regardless, I feel that the documentation for 'isSynTyCon' in misleading
as to what it actually asserts.
On May 13, 2014, at 4:16 PM, Joachim Breitner wrote:
> Hi,
>
> I suddenly get
>
>Unexpected failures:
> gadt T7294 [exit code non-0] (normal)
> indexed-types/should_compile GADT1 [exit code non-0] (normal)
> indexed-types/should_compile GADT11 [exit code non-0] (normal)
> indexed-types/should_compile GADT3 [exit code non-0] (normal)
> indexed-types/should_compile IndTypesPerf [bad exit code] (normal)
> indexed-types/should_compile NonLinearLHS [exit code non-0]
> (normal)
> indexed-types/should_compile Numerals [exit code non-0] (normal)
> indexed-types/should_compile Roman1 [exit code non-0] (normal)
> indexed-types/should_compile Simple9 [exit code non-0] (normal)
> indexed-types/should_compile T2219 [exit code non-0] (normal)
> indexed-types/should_compile T2627 [exit code non-0] (normal)
> indexed-types/should_compile T3484 [exit code non-0] (normal)
> indexed-types/should_compile T4935 [exit code non-0] (normal)
> indexed-types/should_compile T7585 [exit code non-0] (normal)
> indexed-types/should_fail T2664a [exit code non-0] (normal)
> polykinds PolyKinds10 [exit code non-0] (normal)
> polykinds PolyKinds12 [exit code non-0] (normal)
> polykinds T6002 [exit code non-0] (normal)
> simplCore/should_compile T5329 [exit code non-0] (normal)
> simplCore/should_run T5315 [exit code non-0] (optasm)
> typecheck/should_compile T5490 [exit code non-0] (normal)
> typecheck/should_compile T7196 [exit code non-0] (normal)
>
> after these three changes were pushed:
>
>Changes to ghc:
>commit 214ad2d24cda4aaef541df3e213d5c4845f95c71
>Author: Peter Trommler
>Date: Wed Apr 30 11:41:51 2014 +0200
>
>Fix globalRegMaybe for unregisterised build.
>
>In commit 83a003f globalRegMaybe will be called but panics
>for unregisterised compilers.
>
>In an unregisterised compiler there are no global registers
>so always return `Nothing`.
>
>Fixes #9055.
>
>commit 21f17d06aa5c33e639f1b0d37b4bf888b494c441
>Author: Simon Peyton Jones
>Date: Tue May 13 13:17:19 2014 +0100
>
>Fix invariant in mkAppCoFlexible
>
>mkAppCoFlexible was breaking the invariant that the head of a
> TyConAppCo cannot
>be a type synonym. This small patch fixes it.
>
>commit 4cfc1fae11ec9a5c4b34ac747f0ce50f52423eba
>Author: Simon Peyton Jones
>Date: Tue May 13 13:15:45 2014 +0100
>
>Lint should check that TyConAppCo doesn't have a synonym in the
> tycon position
>
>That is why Lint didn't nail Trac #9102
>
> Full log at
> https://s3.amazonaws.com/archive.travis-ci.org/jobs/25063931/log.txt. It
> seems that most, if not all, fail with a "Synonym in TyConAppCo" lint
> error.
>
>
> If Lint is correct here, then this may indicate further bugs are around.
> But in that case the correct thing would be to have a ticket number for
> that problem and mark all failing test cases as expect_broken – it’s the
> only sensible way of having an always succeeding test suite in master.
>
> So is the Lint check correct and this uncovered one or more bugs here,
> or is the Lint check actually too restrictive?
>
> Greetings,
> Joachim
>
>
> Greetings,
> Joachim
>
>
>
> --
> Joachim “nomeata” Breitner
> m...@joachim-breitner.de • http://www.joachim-breitner.de/
> Jabber: nome...@joachim-breitner.de • GPG-Key: 0xF0FBF51F
> Debian Developer: nome...@debian.org
>
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs
___
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs
Re: Many new validate failures, "Synonym in TyConAppCo"-related
On 2014-05-13 at 16:16:12 +0200, Joachim Breitner wrote: [...] > commit 4cfc1fae11ec9a5c4b34ac747f0ce50f52423eba > Author: Simon Peyton Jones > Date: Tue May 13 13:15:45 2014 +0100 > > Lint should check that TyConAppCo doesn't have a synonym in the > tycon position > > That is why Lint didn't nail Trac #9102 Fyi, this commit actually already breaks an ordinary './validate' run with , | "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -H32m -O -Werror -Wall -H64m -O0-package-name hoopl-3.10.0.1 -hide-all-packages -i -ilibraries/hoopl/src -ilibraries/hoopl/dist-install/build -ilibraries/hoopl/dist-install/build/autogen -Ilibraries/hoopl/dist-install/build -Ilibraries/hoopl/dist-install/build/autogen -Ilibraries/hoopl/. -optP-include -optPlibraries/hoopl/dist-install/build/autogen/cabal_macros.h -package base-4.7.1.0 -package containers-0.5.5.1 -Wall -fno-warn-name-shadowing -XHaskell2010 -O2 -O -dcore-lint -fno-warn-deprecated-flags -no-user-package-db -rtsopts -odir libraries/hoopl/dist-install/build -hidir libraries/hoopl/dist-install/build -stubdir libraries/hoopl/dist-install/build -dynamic-too -c libraries/hoopl/src/Compiler/Hoopl/Block.hs -o libraries/hoopl/dist-install/build/Compiler/Hoopl/Block.o -dyno libraries/hoopl/dist-install/build/Compiler/Hoopl/Block.dyn_o | *** Core Lint errors : in result of Desugar (after optimization) *** | : Warning: | In a case alternative: (Compiler.Hoopl.Block.BlockCO dt_d26X :: e_a16G | GHC.Prim.~# Compiler.Hoopl.Block.C, | dt_d26Y :: x_a16H | GHC.Prim.~# Compiler.Hoopl.Block.O, | f_aJQ :: n_aSy Compiler.Hoopl.Block.C Compiler.Hoopl.Block.O, | b_aJR :: Compiler.Hoopl.Block.Block | n_aSy | Compiler.Hoopl.Block.O | Compiler.Hoopl.Block.O) | Synonym in TyConAppCo: (Compiler.Hoopl.Block.IndexedCO | (Sym dt_d26Y) _N _N)_R | *** Offending Program *** | Compiler.Hoopl.Block.backBiasBlock | :: forall (n_asZ :: * -> * -> *) e_at0 x_at1. | Compiler.Hoopl.Block.Block n_asZ e_at0 x_at1 | -> Compiler.Hoopl.Block.Block n_asZ e_at0 x_at1 | [...many lines of output follow...] ` ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
RE: Many new validate failures, "Synonym in TyConAppCo"-related
Mea culpa. I thought I'd validated but perhaps I got it wrong -- I was in a hurry because of catching a train. Anyway, Christiaan is spot on... the Lint check should only be for genuine type synonyms, and isSynTyCon is misleadingly named. I'll add a patch for that shortly, and deal with the naming issue later. Apologies Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Joachim | Breitner | Sent: 13 May 2014 15:16 | To: ghc-devs@haskell.org | Subject: Many new validate failures, "Synonym in TyConAppCo"-related | | Hi, | | I suddenly get | | Unexpected failures: |gadt T7294 [exit code non-0] (normal) |indexed-types/should_compile GADT1 [exit code non-0] (normal) |indexed-types/should_compile GADT11 [exit code non-0] | (normal) |indexed-types/should_compile GADT3 [exit code non-0] (normal) |indexed-types/should_compile IndTypesPerf [bad exit code] | (normal) |indexed-types/should_compile NonLinearLHS [exit code non-0] | (normal) |indexed-types/should_compile Numerals [exit code non-0] | (normal) |indexed-types/should_compile Roman1 [exit code non-0] | (normal) |indexed-types/should_compile Simple9 [exit code non-0] | (normal) |indexed-types/should_compile T2219 [exit code non-0] (normal) |indexed-types/should_compile T2627 [exit code non-0] (normal) |indexed-types/should_compile T3484 [exit code non-0] (normal) |indexed-types/should_compile T4935 [exit code non-0] (normal) |indexed-types/should_compile T7585 [exit code non-0] (normal) |indexed-types/should_fail T2664a [exit code non-0] | (normal) |polykinds PolyKinds10 [exit code non-0] | (normal) |polykinds PolyKinds12 [exit code non-0] | (normal) |polykinds T6002 [exit code non-0] (normal) |simplCore/should_compile T5329 [exit code non-0] (normal) |simplCore/should_run T5315 [exit code non-0] (optasm) |typecheck/should_compile T5490 [exit code non-0] (normal) |typecheck/should_compile T7196 [exit code non-0] (normal) | | after these three changes were pushed: | | Changes to ghc: | commit 214ad2d24cda4aaef541df3e213d5c4845f95c71 | Author: Peter Trommler | Date: Wed Apr 30 11:41:51 2014 +0200 | | Fix globalRegMaybe for unregisterised build. | | In commit 83a003f globalRegMaybe will be called but panics | for unregisterised compilers. | | In an unregisterised compiler there are no global registers | so always return `Nothing`. | | Fixes #9055. | | commit 21f17d06aa5c33e639f1b0d37b4bf888b494c441 | Author: Simon Peyton Jones | Date: Tue May 13 13:17:19 2014 +0100 | | Fix invariant in mkAppCoFlexible | | mkAppCoFlexible was breaking the invariant that the head of a | TyConAppCo cannot | be a type synonym. This small patch fixes it. | | commit 4cfc1fae11ec9a5c4b34ac747f0ce50f52423eba | Author: Simon Peyton Jones | Date: Tue May 13 13:15:45 2014 +0100 | | Lint should check that TyConAppCo doesn't have a synonym in | the tycon position | | That is why Lint didn't nail Trac #9102 | | Full log at | https://s3.amazonaws.com/archive.travis-ci.org/jobs/25063931/log.txt. It | seems that most, if not all, fail with a "Synonym in TyConAppCo" lint | error. | | | If Lint is correct here, then this may indicate further bugs are around. | But in that case the correct thing would be to have a ticket number for | that problem and mark all failing test cases as expect_broken – it’s the | only sensible way of having an always succeeding test suite in master. | | So is the Lint check correct and this uncovered one or more bugs here, | or is the Lint check actually too restrictive? | | Greetings, | Joachim | | | Greetings, | Joachim | | | | -- | Joachim “nomeata” Breitner | m...@joachim-breitner.de • http://www.joachim-breitner.de/ | Jabber: nome...@joachim-breitner.de • GPG-Key: 0xF0FBF51F | Debian Developer: nome...@debian.org ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
