Issues
- 3
- 2
Module name leak in nested types
#59 opened by mrmr1993 - 0
Fatal error: exception Not_found
#61 opened by yallop - 0
Ctype.Unify failure
#60 opened by yallop - 11
Implicit functors should be pure
#35 opened by lpw25 - 1
Bad ergonomy with toplevel
#58 opened by gadmm - 0
- 3
Compiler crashes with assertion when constraining instances of an implicit functor
#55 opened by ohad - 2
- 3
- 1
- 0
- 0
Rectypes: compiler with implicts hangs but normal one gives an error (as expected).
#50 opened by Kakadu - 0
Can't use wildcard as implicit argument and/or error message requires improvement
#49 opened by Kakadu - 3
Implicits as constructor arguments
#48 opened by yallop - 3
- 0
Inclusion check failing
#45 opened by lpw25 - 0
Issue with constraint propagation
#44 opened by lpw25 - 0
Ctype.Unify failure for type scope error
#43 opened by yallop - 1
- 2
Wierd error
#33 opened by lpw25 - 2
Shorter syntax for implicits
#13 opened by yallop - 4
Ctype.Unify(_) error with higher-order example
#15 opened by yallop - 0
Don't need levels for implicit parameter
#37 opened by lpw25 - 0
- 1
- 3
Recursive instances?
#32 opened by yallop - 3
-dsource produces invalid output
#7 opened by yallop - 5
Update opam
#31 opened by Aaylor - 0
Instance search is order-dependent
#30 opened by yallop - 2
Implicits error ("Implicit annotation of `M' is not compatible") on implicits-free code
#29 opened by yallop - 5
- 2
Type annotations on implicit modules
#23 opened by charguer - 2
Unexpected ambiguity
#24 opened by charguer - 3
- 0
Implicit module arguments
#12 opened by yallop - 3
- 2
- 3
Is inferring implicits ever a possibility?
#17 opened by bluddy - 0
PR4933 test failing
#14 opened by yallop - 1
Set up travis testing
#2 opened by yallop - 3
Fatal error with coercion involving implicits and type constructor arity mismatch
#10 opened by yallop - 1
Ctype.Unify failure with multiple implicits
#1 opened by yallop - 1
- 1
Fatal error with class implicit arguments
#9 opened by yallop - 0
"Constraints are not satisfied in this type"
#3 opened by yallop