Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Register
  • Sign in
  • C curry-frontend
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 70
    • Issues 70
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 4
    • Merge requests 4
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Artifacts
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • curry
  • curry-frontend
  • Issues
  • #94
Closed
Open
Issue created 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
Time tracking