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,268
    • Issues 4,268
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 407
    • Merge Requests 407
  • 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
  • #11264

Closed
Open
Opened Dec 20, 2015 by Ben Gamari@bgamari🐢Maintainer

Previously compiling example does not compile

The example in the testcase introduced in D1667 currently fails with,

ClassOperator.hs:12:3: error:
    • Could not deduce (a ><> b0)
      from the context: a ><> b
        bound by the type signature for:
                   (**>) :: (a ><> b) => a -> a -> ()
        at ClassOperator.hs:12:3-44
      The type variable ‘b0’ is ambiguous
    • In the ambiguity check for ‘**>’
      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
      When checking the class method:
        (**>) :: forall a b. (a ><> b) => a -> a -> ()
      In the class declaration for ‘><>’

ClassOperator.hs:12:3: error:
    • Could not deduce (a ><> b0)
      from the context: a ><> b
        bound by the type signature for:
                   (**<) :: (a ><> b) => a -> a -> ()
        at ClassOperator.hs:12:3-44
      The type variable ‘b0’ is ambiguous
    • In the ambiguity check for ‘**<’
      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
      When checking the class method:
        (**<) :: forall a b. (a ><> b) => a -> a -> ()
      In the class declaration for ‘><>’

ClassOperator.hs:12:3: error:
    • Could not deduce (a ><> b0)
      from the context: a ><> b
        bound by the type signature for:
                   (>**) :: (a ><> b) => a -> a -> ()
        at ClassOperator.hs:12:3-44
      The type variable ‘b0’ is ambiguous
    • In the ambiguity check for ‘>**’
      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
      When checking the class method:
        (>**) :: forall a b. (a ><> b) => a -> a -> ()
      In the class declaration for ‘><>’

ClassOperator.hs:12:3: error:
    • Could not deduce (a ><> b0)
      from the context: a ><> b
        bound by the type signature for:
                   (<**) :: (a ><> b) => a -> a -> ()
        at ClassOperator.hs:12:3-44
      The type variable ‘b0’ is ambiguous
    • In the ambiguity check for ‘<**’
      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
      When checking the class method:
        (<**) :: forall a b. (a ><> b) => a -> a -> ()
      In the class declaration for ‘><>’

This is a regression relative to 7.10.2, which accepts the program without error.

Edited Mar 10, 2019 by Ben Gamari
Assignee
Assign to
8.0.1
Milestone
8.0.1 (Past due)
Assign milestone
Time tracking
None
Due date
None
Reference: ghc/ghc#11264