sneaky structural equality 🐍🧌 #8

New Issue

swrup · 2025-09-27T13:29:09+02:00

swrup commented

2025-09-27 13:29:09 +02:00

open Prelude

let f = Fun.id
let f' = Fun.id
let l = [ f ]
let _b = List.mem f' l

There is a mem function in multiple module: List, Array, Hashtbl, ...

```ocaml open Prelude let f = Fun.id let f' = Fun.id let l = [ f ] let _b = List.mem f' l ``` There is a `mem` function in multiple module: `List`, `Array`, `Hashtbl`, ...

zapashcanon commented

2025-10-01 18:05:28 +02:00

For Hashtbl, I believe this could be easily fixed by simpled hiding the Hashtbl module and only exposing Hashtbl.Make? For the others, what should we do, hide List.mem and encourage users to write List.exists instead?

For Hashtbl, I believe this could be easily fixed by simpled hiding the `Hashtbl` module and only exposing `Hashtbl.Make`? For the others, what should we do, hide `List.mem` and encourage users to write `List.exists` instead?

👍 1

Sign in to join this conversation.

2 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: zapashcanon/prelude#8