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 64
    • Issues 64
    • 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

  • Open 64
  • Closed 61
  • All 125
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual
  • Front end crashes when importing RankNTypes
    #45 · created Sep 17, 2019 by Michael Hanus   Bug
    • CLOSED
    • 1
    updated Sep 17, 2019
  • Avoid use of absolute path names for style file copying
    #44 · created Aug 12, 2019 by Michael Hanus   Bug
    • CLOSED
    • 2
    updated Oct 07, 2019
  • Type signatures are not correctly checked against inferred types with negative type variables
    #43 · created Aug 04, 2019 by Jan-Hendrik Matthes   Bug
    • CLOSED
    • 1
    • 0
    updated Oct 21, 2020
  • [RankNTypes] Compilation error
    #42 · created Jul 29, 2019 by Finn Teegen   Bug
    • CLOSED
    • 4
    updated Jul 30, 2019
  • Error when compiling a class definition with `NoImplicitPrelude`
    #41 · created Jul 23, 2019 by Jan-Hendrik Matthes   Bug
    • 1
    updated Oct 07, 2019
  • [RankNTypes] Prelude.!!: index too large
    #40 · created Jul 18, 2019 by Kai Prott   Bug
    • CLOSED
    • 2
    updated Jul 25, 2019
  • Type-Check fails with internal error for instance declarations with ambiguous funtion names
    #39 · created Apr 03, 2019 by Kai Prott   Bug
    • CLOSED
    • 1
    • 1
    updated Apr 04, 2019
  • Missing span when re-exporting module
    #38 · created Mar 28, 2019 by Kai Prott
    • CLOSED
    • 1
    • 2
    updated Mar 29, 2019
  • Add support for MonadFail in desugaring of do-notation
    #37 · created Mar 20, 2019 by Kai Prott
    • CLOSED
    • 1
    updated Nov 08, 2019
  • Simplify generated FlatCurry when the specific type of a class function is known
    #36 · created Mar 20, 2019 by Kai Prott   Feature
    • 1
    updated Mar 25, 2019
  • Error or fail for missing class methods?
    #35 · created Jan 09, 2019 by Kai Prott
    • CLOSED
    • 0
    updated Oct 28, 2019
  • Problems with modular Prelude
    #34 · created Jan 09, 2019 by Kai Prott
    • 1
    updated Oct 07, 2019
  • Refactor addition of built-in types to compiler environments
    #33 · created Dec 20, 2018 by Kai Prott   Refactoring
    • 0
    updated Dec 20, 2018
  • Show an error when desugaring of language constructs fails
    #32 · created Dec 17, 2018 by Kai Prott   Bug To Do
    • 0
    updated Nov 08, 2019
  • Properly represent a missing module header in the AST
    #31 · created Dec 17, 2018 by Kai Prott   Feature Refactoring
    • 0
    updated Dec 17, 2018
  • Refactor implicit Prelude-Import
    #30 · created Dec 17, 2018 by Kai Prott   Refactoring
    • 0
    updated Dec 17, 2018
  • Remove the `ExistentialQuantification` extension
    #29 · created Dec 17, 2018 by Kai Prott   Refactoring
    • CLOSED
    • 1
    • 0
    updated May 19, 2019
  • Add ifThenElse-Construct to AbstractCurry
    #28 · created Dec 17, 2018 by Kai Prott   Feature
    • 0
    updated Dec 17, 2018
  • Extend support for disabling optimizations
    #27 · created Dec 17, 2018 by Kai Prott   Feature
    • 0
    updated Dec 17, 2018
  • Fix desugaring of record patterns
    #26 · created Aug 16, 2018 by Finn Teegen   Bug
    • CLOSED
    • 0
    updated Oct 09, 2018
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • Next