You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
- Uses of e.g. `List.hd` are interpreted as belonging to the standard library. If you re-define `List` in the local scope, the analysis it will think it's dealing with `List` from the standard library.
115
-
- There is no special support for functors. So with `Hashtbl.Make(...)` the builtin model will not apply. So the analysis won't report that the following can throw `Not_found`:
116
-
117
-
```rescript
118
-
module StringHash =
119
-
Hashtbl.Make({
120
-
include String
121
-
let hash = Hashtbl.hash
122
-
})
123
-
let specializedHash = tbl => StringHash.find(tbl, "abc")
0 commit comments