Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
  • This project
    • Loading...
  • Sign in / Register
C
cduce
  • Overview
    • Overview
    • Details
    • Activity
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 18
    • Issues 18
    • List
    • Board
    • Labels
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • cduce
  • cduce
  • Issues

  • Open 18
  • Closed 0
  • All 18
New issue
Recent searches
  • Priority Created date Last updated Milestone Due date Popularity Label priority
  • 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