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,832
    • Issues 4,832
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 450
    • Merge requests 450
  • 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
  • #1333

Closed
Open
Created May 05, 2007 by Ian Lynagh <igloo@earth.li>@trac-igloo

core lint failures from arrow notation + HPC

Test arrowrun001 the ghci way gives a core lint error:

*** Core Lint Errors: in result of Desugar ***
<no location info>:
    In the expression: {tick (main:Main, 38)}_dOu
             @ (GHC.Base.Bool -> Main.Exp -> Main.Exp -> GHC.Prim.State# GHC.Prim.RealWorld)
             b_axo
    b_axo is out of scope
*** Offending Program ***
[...]

arrowrun002 and arrowrun003 also have core lint failures that, at least, look superficially similar.

arrowrun004 has a different looking core lint failure, and it happens for all ways:

*** Core Lint Errors: in result of Desugar ***
<no location info>:
    In the expression: >>>_aLC @ () @ () @ GHC.Base.Int
    >>>_aLC is out of scope
*** Offending Program *** 
[...]
Trac metadata
Trac field Value
Version 6.7
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case arrowrun001 arrowrun004
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system Unknown
Architecture Unknown
Edited Mar 09, 2019 by Ross Paterson
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking