Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
C
cduce
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 19
    • Issues 19
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • cduce
  • cduce
  • Issues

  • Open 19
  • Closed 0
  • All 19
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual
  • repeated definitions bring bugs in the toplevel
    #19 · opened Mar 06, 2019 by Giuseppe Castagna
    • 0
    updated Mar 06, 2019
  • Unsoundness with testing of function types
    #18 · opened Sep 18, 2017 by Tommaso Petrucciani   Bug Typing
    • 0
    updated Sep 18, 2017
  • Unsoundness with record typing
    #17 · opened Mar 01, 2017 by Tommaso Petrucciani   Bug Typing
    • 0
    updated Oct 16, 2017
  • Pretty printing of arrow type could be simplified
    #16 · opened Jun 07, 2016 by Kim Nguyễn   Improvement
    • 0
    updated Oct 16, 2017
  • Tallying error with recursive types
    #15 · opened May 12, 2016 by Tommaso Petrucciani   Typing
    • 0
    updated Oct 16, 2017
  • Tallying: monomorphic variables are not handled correctly
    #14 · opened May 11, 2016 by Tommaso Petrucciani
    • 0
    updated Oct 16, 2017
  • Tallying: failure in recursive calls inside merge make the whole merge fail
    #13 · opened Apr 01, 2016 by Tommaso Petrucciani   Bug Typing
    • 2
    updated Oct 16, 2017
  • Solving type equation with recursive types for a variable 'a does not work when 'a occurs below a union/intersection/negation
    #12 · opened Mar 31, 2016 by Kim Nguyễn   Bug Typing
    • 2
    updated Oct 16, 2017
  • "ref", several errors in parsing and typing
    #11 · opened Mar 22, 2016 by Kim Nguyễn   Improvement Syntax Typing
    • 2
    updated Oct 16, 2017
  • Loop/errors on tallying
    #10 · opened Mar 22, 2016 by Kim Nguyễn   Bug Typing
    • 1
    updated Oct 16, 2017
  • Polymorphic typing of record operations
    #9 · opened Mar 22, 2016 by Kim Nguyễn   Improvement Typing
    • 0
    updated Oct 16, 2017
  • Type error in patricia trees
    #8 · opened Mar 22, 2016 by Kim Nguyễn   Bug Typing
    • 1
    updated Oct 16, 2017
  • Typechecking should only use squaresubtype when checking a result type against an expected constraint
    #7 · opened Mar 22, 2016 by Kim Nguyễn   Bug Typing
    • 1
    updated Oct 16, 2017
  • Git subtree merge needed
    #6 · opened Mar 22, 2016 by Kim Nguyễn   Improvement Website/Documentation
    • 0
    updated Oct 16, 2017
  • Opposite operator on variables
    #5 · opened Mar 22, 2016 by Kim Nguyễn   Improvement Syntax
    • 0
    updated Oct 16, 2017
  • Fix pretty printing of Top types
    #4 · opened Mar 22, 2016 by Kim Nguyễn   Improvement Syntax
    • 2
    updated Oct 16, 2017
  • Fix pretty printing of parentheses in types
    #3 · opened Mar 22, 2016 by Kim Nguyễn   Bug Syntax
    • 0
    updated Oct 16, 2017
  • Determine the types of variables in matched expressions
    #2 · opened Mar 22, 2016 by Kim Nguyễn   Improvement Typing
    • 0
    updated Oct 16, 2017
  • Try to improve the parsing of ; in record expressions.
    #1 · opened Mar 22, 2016 by Kim Nguyễn   Improvement Syntax
    • 0
    updated Oct 16, 2017