Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • 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,865
    • Issues 4,865
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 459
    • Merge requests 459
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Glasgow Haskell Compiler
  • GHCGHC
  • Issues
  • #4265
Closed
Open
Created Aug 21, 2010 by kahl@cas.mcmaster.ca@trac-kahl

Sanity bug found by +RTS -DS in Agda

With my HEAD ghc, I built Agda with -debug, and get, reproducibly (on an Agda call that normally segfaults after some 12 minutes):

time agda +RTS -DS -C0 -i0  -K64M -M12G -H12G -S -RTS -i . -i /var/tmp/AGDA/lib/src Categoric/OrderedMonad/Kleisli/Comp/AssocProofterm.lagda
agda -i . -i /var/tmp/AGDA/lib/src Categoric/OrderedMonad/Kleisli/Comp/AssocProofterm.lagda +RTS -DS -C0 -i0 -K64M -M12G -H12G -S 
    Alloc    Copied     Live    GC    GC     TOT     TOT  Page Flts
    bytes     bytes     bytes  user  elap    user    elap
   570504     67280     87816  2.33  4.74    2.33    4.75    0    0  (Gen:  1)
  8676120    935840   1054664  2.86  3.63    5.24    8.43    0    0  (Gen:  0)
  9560288   2270144   2423920  2.91  2.93    8.17   11.38    0    0  (Gen:  0)
 11102944   2983776   4004992  2.92  2.95   11.13   14.35    0    0  (Gen:  0)
agda: internal error: ASSERTION FAILED: file rts/sm/Sanity.c, line 664

    (GHC version 6.13.20100815 for x86_64_unknown_linux)
    Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
Aborted

real	0m17.637s
user	0m14.026s
sys	0m3.519s

What should I look into for this?

Trac metadata
Trac field Value
Version 6.13
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system Unknown/Multiple
Architecture Unknown/Multiple
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking