ocamllabs ocaml-modular-implicits issues

ocamllabs / ocaml-modular-implicits

OCaml extended with modular implicits

Other

103 stars 8 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Module subtyping in higher-rank-polymorphic functions

#62 pxeger opened 1 year ago
3
Fatal error: exception Not_found

#61 yallop opened 1 year ago
0
Ctype.Unify failure

#60 yallop opened 1 year ago
0
Module name leak in nested types

#59 mrmr1993 opened 3 years ago
2
Bad ergonomy with toplevel

#58 gadmm closed 5 years ago
1
`No instance found` with `open implicit` and type alias

#57 gadmm opened 5 years ago
0
Fix a broken link

#56 elpinal closed 5 years ago
1
Compiler crashes with assertion when constraining instances of an implicit functor

#55 ohad opened 7 years ago
3
Syntax error in module constraint inside an implicit argument

#54 ohad closed 7 years ago
2
Variance is not fully computed for types involving modular implicits

#53 yallop closed 7 years ago
3
Roadmap?

#52 bluddy closed 7 years ago
1
Instance search fails to terminate on "simple" example

#51 zachhalle opened 8 years ago
0
Rectypes: compiler with implicts hangs but normal one gives an error (as expected).

#50 Kakadu opened 8 years ago
0
Can't use wildcard as implicit argument and/or error message requires improvement

#49 Kakadu opened 8 years ago
0
Implicits as constructor arguments

#48 yallop opened 8 years ago
3
Rebased for ocaml 4.02.3

#47 Kakadu opened 8 years ago
0
Implicit scope

#46 lpw25 opened 8 years ago
5
Inclusion check failing

#45 lpw25 opened 8 years ago
0
Issue with constraint propagation

#44 lpw25 opened 8 years ago
0
Ctype.Unify failure for type scope error

#43 yallop opened 8 years ago
0
Make implicit functors ordinary module types

#42 lpw25 closed 8 years ago
0
Switch Pprintast over to the new syntax.

#41 yallop closed 8 years ago
0
Travis tests: use Camlp4 branch with modular implicits support.

#40 yallop closed 9 years ago
0
Change the syntax of implicit parameters

#39 lpw25 closed 9 years ago
1
Fix generative functors

#38 lpw25 closed 9 years ago
0
Don't need levels for implicit parameter

#37 lpw25 opened 9 years ago
0
Implicit arguments should allow all with constraints

#36 lpw25 opened 9 years ago
0
Implicit functors should be pure

#35 lpw25 opened 9 years ago
11
Signature mismatch with implicit functors + aliases

#34 yallop opened 9 years ago
1
Wierd error

#33 lpw25 closed 9 years ago
2
Recursive instances?

#32 yallop opened 9 years ago
3
Update opam

#31 Aaylor closed 9 years ago
5
Instance search is order-dependent

#30 yallop opened 9 years ago
0
Implicits error ("Implicit annotation of `M' is not compatible") on implicits-free code

#29 yallop closed 9 years ago
2
Add implicit statement

#28 let-def opened 9 years ago
1
Implicit search in presence of polymorphic variants

#27 LeoTestard opened 9 years ago
1
Fix handling of applicative paths in equality checking for type constructors.

#26 LeoTestard closed 9 years ago
4
Instances should be associated to specific classes

#25 charguer closed 9 years ago
5
Unexpected ambiguity

#24 charguer closed 9 years ago
2
Type annotations on implicit modules

#23 charguer closed 9 years ago
2
Move examples to the test suite

#22 lpw25 closed 9 years ago
0
Always generalize implicits before generalization

#21 lpw25 closed 9 years ago
0
Fix bug in type marking when replacing variables with abstract types

#20 lpw25 closed 9 years ago
0
Add forward propagation

#19 lpw25 closed 9 years ago
0
Add implicit functor arguments to the implicit environment.

#18 yallop closed 9 years ago
0
Is inferring implicits ever a possibility?

#17 bluddy closed 9 years ago
3
Test case: an implementation of Leibniz equality.

#16 yallop closed 8 years ago
1
Ctype.Unify(_) error with higher-order example

#15 yallop opened 9 years ago
4
PR4933 test failing

#14 yallop opened 9 years ago
0
Shorter syntax for implicits

#13 yallop closed 9 years ago
2