Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
C
curry-frontend
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 62
    • Issues 62
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 4
    • Merge Requests 4
  • Operations
    • Operations
    • Incidents
  • Analytics
    • Analytics
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • curry
  • curry-frontend
  • Issues
  • #94

Closed
Open
Opened Oct 27, 2020 by Finn Teegen@fteMaintainer

Remove double errors

Consider the following function.

mTestFunction :: Int
mTestFunction = length [unknown]

The frontend yields the following errors.

Test.curry:2:1-2:32 Error:
    Ambiguous type variable _4
    in type Prelude.Data _4 => Prelude.Int
    inferred for equation
    mTestFunction = length [unknown]
   | 
 2 | mTestFunction = length [unknown]
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Test.curry:2:1-2:32 Error:
    Ambiguous type variable _4
    in type Prelude.Data _4 => Prelude.Int
    inferred for function `mTestFunction'
   | 
 2 | mTestFunction = length [unknown]
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ERROR occurred during parsing!

As both errors refer to the same issue (even with the same spans), one error should not be raised.

Edited Oct 27, 2020 by Finn Teegen
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
None
Reference: curry/curry-frontend#94