Jacques Garrigue
Results
13
issues of
Jacques Garrigue
The following snippet was accepted until 5.1, but is rejected since 5.2. ```ocaml module type ET = sig type exp end (* The recursive operations on our our types *)...
This is not using trocq yet, but should eventually.
`bindA` has type `(m >>= f) >>= g = m >>= (fun x => f x >>= g)`, which means that it moves parentheses from left to right. However, `>>=`...