Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • GHC GHC
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 4,842
    • Issues 4,842
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 455
    • Merge requests 455
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
    • Value stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Glasgow Haskell Compiler
  • GHCGHC
  • Issues
  • #15505

Closed
Open
Created Aug 11, 2018 by Ömer Sinan Ağacan@osa1Maintainer

Assertion failures in tests T7224, T9201, LevPolyBounded

To reproduce, build GHC HEAD with slow validate settings, then run the tests. Outputs:

=====> T7224(normal) 9 of 15 [0, 2, 0]
cd "polykinds/T7224.run" &&  "/home/omer/haskell/ghc/inplace/test   spaces/ghc-stage2" -c T7224.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output
Actual stderr output differs from expected:
diff -uw "polykinds/T7224.run/T7224.stderr.normalised" "polykinds/T7224.run/T7224.comp.stderr.normalised"
--- polykinds/T7224.run/T7224.stderr.normalised 2018-08-11 13:33:16.874459507 +0300
+++ polykinds/T7224.run/T7224.comp.stderr.normalised    2018-08-11 13:33:16.874459507 +0300
@@ -1,13 +1,11 @@
+ghc: panic! (the 'impossible' happened)
+  (GHC version 8.7.20180809 for x86_64-unknown-linux):
+       ASSERT failed!
+  Type-correct unfilled coercion hole {co_asw}
+  Call stack:
+      CallStack (from HasCallStack):
+        callStackDoc, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable
+        pprPanic, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable
+        assertPprPanic, called at compiler/typecheck/TcHsSyn.hs:<line>:<column> in <package-id>:TcHsSyn

-T7224.hs:6:19:
-     Expected kind ‘i’, but ‘i’ has kind ‘*’
-     In the first argument of ‘m’, namely ‘i’
-      In the type signature: ret' :: a -> m i i a
-      In the class declaration for ‘PMonad'’
-
-T7224.hs:7:14:
-     Expected kind ‘i’, but ‘i’ has kind ‘*’
-     In the first argument of ‘m’, namely ‘i’
-      In the type signature:
-        bind' :: m i j a -> (a -> m j k b) -> m i k b
-      In the class declaration for ‘PMonad'’
+Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
*** unexpected failure for T7224(normal)

=====> T9201(normal) 11 of 15 [0, 3, 0]
cd "typecheck/should_fail/T9201.run" &&  "/home/omer/haskell/ghc/inplace/test   spaces/ghc-stage2" -c T9201.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output
Actual stderr output differs from expected:
diff -uw "typecheck/should_fail/T9201.run/T9201.stderr.normalised" "typecheck/should_fail/T9201.run/T9201.comp.stderr.normalised"
--- typecheck/should_fail/T9201.run/T9201.stderr.normalised     2018-08-11 13:33:21.058404868 +0300
+++ typecheck/should_fail/T9201.run/T9201.comp.stderr.normalised        2018-08-11 13:33:21.058404868 +0300
@@ -1,7 +1,11 @@
+ghc: panic! (the 'impossible' happened)
+  (GHC version 8.7.20180809 for x86_64-unknown-linux):
+       ASSERT failed!
+  Type-correct unfilled coercion hole {co_asr}
+  Call stack:
+      CallStack (from HasCallStack):
+        callStackDoc, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable
+        pprPanic, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable
+        assertPprPanic, called at compiler/typecheck/TcHsSyn.hs:<line>:<column> in <package-id>:TcHsSyn

-T9201.hs:6:17:
-     Expected kind ‘x’, but ‘a’ has kind ‘y’
-     In the first argument of ‘f’, namely ‘a’
-      In the second argument of ‘d’, namely ‘(f a)’
-      In the type signature:
-        ret :: d a (f a)
+Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
*** unexpected failure for T9201(normal)

=====> LevPolyBounded(normal) 12 of 15 [0, 4, 0]
cd "typecheck/should_fail/LevPolyBounded.run" &&  "/home/omer/haskell/ghc/inplace/test   spaces/ghc-stage2" -c LevPolyBounded.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output
Actual stderr output differs from expected:
diff -uw "typecheck/should_fail/LevPolyBounded.run/LevPolyBounded.stderr.normalised" "typecheck/should_fail/LevPolyBounded.run/LevPolyBounded.comp.stderr.normalised"
--- typecheck/should_fail/LevPolyBounded.run/LevPolyBounded.stderr.normalised   2018-08-11 13:33:21.150403667 +0300
+++ typecheck/should_fail/LevPolyBounded.run/LevPolyBounded.comp.stderr.normalised      2018-08-11 13:33:21.150403667 +0300
@@ -1,5 +1,11 @@
+ghc: panic! (the 'impossible' happened)
+  (GHC version 8.7.20180809 for x86_64-unknown-linux):
+       ASSERT failed!
+  Type-correct unfilled coercion hole {co_avm}
+  Call stack:
+      CallStack (from HasCallStack):
+        callStackDoc, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable
+        pprPanic, called at compiler/utils/Outputable.hs:<line>:<column> in <package-id>:Outputable
+        assertPprPanic, called at compiler/typecheck/TcHsSyn.hs:<line>:<column> in <package-id>:TcHsSyn

-LevPolyBounded.hs:10:15:
-     Expected a type, but ‘a’ has kind ‘TYPE r’
-     In the type signature: LevPolyBounded.minBound :: a
-      In the class declaration for ‘XBounded’
+Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
*** unexpected failure for LevPolyBounded(normal)
Edited Mar 10, 2019 by Ömer Sinan Ağacan
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking