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,273
    • Issues 4,273
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 413
    • Merge Requests 413
  • Requirements
    • Requirements
    • List
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
  • Security & Compliance
    • Security & Compliance
    • Dependency List
    • License Compliance
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Code Review
    • Insights
    • Issue
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Glasgow Haskell Compiler
  • GHCGHC
  • Issues
  • #7898

Closed
Open
Opened May 08, 2013 by Tinctorius@trac-Tinctorius

SpecConstr explodes when compiling module BSP of frag-1.1.2

GHC will get stuck when trying to compile Frag. Steps to reproduce:

  1. Get Frag 1.1.2 from the Darcs repository (darcs get http://code.haskell.org/frag), or from snowmantw's !GitHub fork (git clone https://github.com/snowmantw/Frag.git).
  2. Fix the code so it'll actually compile:

` diff --git a/src/Textures.hs b/src/Textures.hs index 7383fd8..b5516a5 100644 --- a/src/Textures.hs +++ b/src/Textures.hs @@ -10,6 +10,7 @@ import Graphics.UI.GLUT import TGA (readTga) import Data.Word (Word8) import Foreign.Marshal.Alloc (free) +import Control.Exception (catch, SomeException)

-- read a list of images and returns a list of textures @@ -32,7 +33,8 @@ getAndCreateTexture fileName = do

-- read the image data readImageC :: String -> IO (Maybe (Size, PixelData Word8)) -readImageC path = catch (readTga path) (_ -> do print ("missing texture: "++path) +readImageC path = catch (readTga path) (\e -> do print (e :: SomeException)

  •                                             print ("missing texture: "++path)
                                                return Nothing)

    `

  1. cabal configure
  2. cabal build

GHC will get stuck on the module BSP and consume memory until it crashes. According to this ticket on the GitHub fork mentioned earlier, this problem only occurs with -O2.

When I split the reading part of the module (readBSP and all functions it depends on), it crashed on that part. Will investigate further.

Trac metadata
Trac field Value
Version 7.6.3
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
Edited Mar 09, 2019 by Tinctorius
Assignee
Assign to
7.8.4
Milestone
7.8.4 (Past due)
Assign milestone
Time tracking
None
Due date
None
Reference: ghc/ghc#7898