Issues · cduce / cduce · GitLab

Determine the types of variables in matched expressions

#2 · opened Mar 22, 2016 by Kim Nguyễn Improvement Typing
- 0
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
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
Loop/errors on tallying

#10 · opened Mar 22, 2016 by Kim Nguyễn Bug Typing
- 1
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
Tallying: monomorphic variables are not handled correctly

#14 · opened May 11, 2016 by Tommaso Petrucciani
- 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
Polymorphic typing of record operations

#9 · opened Mar 22, 2016 by Kim Nguyễn Improvement 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
Opposite operator on variables

#5 · opened Mar 22, 2016 by Kim Nguyễn Improvement Syntax
- 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
repeated definitions bring bugs in the toplevel

#19 · opened Mar 06, 2019 by Giuseppe Castagna
- 0
updated Mar 06, 2019
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
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
Type error in patricia trees

#8 · opened Mar 22, 2016 by Kim Nguyễn Bug Typing
- 1
updated Oct 16, 2017
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
Tallying error with recursive types

#15 · opened May 12, 2016 by Tommaso Petrucciani Typing
- 0
updated Oct 16, 2017