Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
GHC
GHC
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 4,383
    • Issues 4,383
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 372
    • Merge Requests 372
  • Requirements
    • Requirements
    • List
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Code Review
    • Insights
    • Issue
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Glasgow Haskell Compiler
  • GHCGHC
  • Issues
  • #11330

Closed
Open
Opened Jan 01, 2016 by thomie@trac-thomie

Test `dynamic-paper` fails with core lint error (hpc) and "Simplifier ticks exhausted" (optasm)

$ ghc-head --info | grep Project
  [("Project name","The Glorious Glasgow Haskell Compilation System")
  ,("Project version","8.1.20151231")
  ,("Project Git commit id","8afeaad919dc67643b4eff14efafb48b59039b2b")
$ make slowtest TEST=dynamic-paper VERBOSE=2 TEST_HC=ghc-head
...
=====> dynamic-paper(normal) 1 of 1 [0, 0, 0] 
=====> dynamic-paper(hpc) 1 of 1 [0, 0, 0]

...

Compile failed (status 256) errors were:
 *** Core Lint errors : in result of Float out(FOS {Lam = Just 0,
                                                    Consts = True,
                                                    OverSatApps = True}) ***
 <no location info>: warning:
     In a case alternative: (TypeRepX k_s7Ec :: *,
                                      a_s7Ed :: k_a5px,
                                      tr2_s7Ee :: TypeRep a_s7Ed)
     @ k_a5px is out of scope
*** Offending Program ***

...

<no location info>: error: 
Compilation had errors



*** unexpected failure for dynamic-paper(hpc)
=====> dynamic-paper(optasm) 1 of 1 [0, 1, 0] 
Compile failed (status 256) errors were:
ghc: panic! (the 'impossible' happened)
  (GHC version 8.1.20151231 for x86_64-unknown-linux):
	Simplifier ticks exhausted
  When trying UnfoldingDone delta1
  To increase the limit, use -fsimpl-tick-factor=N (default 100)
  If you need to do this, let GHC HQ know, and what factor you needed
  To see detailed counts use -ddump-simpl-stats
  Total ticks: 203160

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug


*** unexpected failure for dynamic-paper(optasm)

Unexpected results from:
TEST="dynamic-paper"

This test was added in commit 52da6bdc:

Author: Richard Eisenberg <eir@cis.upenn.edu>
Date:   Sat Dec 26 09:11:33 2015 -0500

    Have mkCastTy look more closely for reflexivity.
    
    This may have performance implications.
Trac metadata
Trac field Value
Version 7.11
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC goldfire
Operating system
Architecture
Assignee
Assign to
8.0.1
Milestone
8.0.1 (Past due)
Assign milestone
Time tracking
None
Due date
None
Reference: ghc/ghc#11330