Zulip Chat Archive
Stream: new members
Topic: let rec partial
Sergey Cherkis (Jul 14 2023 at 23:07):
What is the way to define a partial function inside let
recursively? Something like let partial rec
. Would be used in defining class instances.
Arthur Paulino (Jul 16 2023 at 20:19):
IIRC, you should be able to do it just with let rec
if you're already inside a partial function
Last updated: Dec 20 2023 at 11:08 UTC