Hongbo Zhang

Results 243 comments of Hongbo Zhang

This is in typecore.ml, Wrong_name. Such constructors may need special treatment constructor :: constructor false, true

What will happen if you in-line toOpt

There is a conflict between various optimizations

``` bsrefmt --version Reason 3.4.2 @ 3c6a9ca9 ```

the first one relies on shell which is not portable but also always create output file regardless of failure or not

Do you have a link to the dune default I did spend some time in current default setting, in particular, which warning do you think is missing compared with current...

`Missing .cmi` is a new warning? We can add it, PR is welcome. ` everything is just a warning and not an error.` The thing is most compilers like gcc...

this may be somthing easier to understand : ``` get_by_hashcode[K, View: Eq, V](self : Self[K,V], hashcode : Int , v : View, f~ : (K) -> View) -> Value? ```...

```moonbit /// The `view` function and the `Hash` implementation of `View` should satisfy: /// ``` /// view(key).hash() == key.hash() /// ``` fn get_by_view[K, View : Hash + Eq, Value]( self...