snarky icon indicating copy to clipboard operation
snarky copied to clipboard

Published 20 hours ago • verified publisher icon o1-labs

Core_kernel deprecated

Open jmikedupont2 opened this issue 6 months ago • 0 comments 

File "tuple_lib/intf.ml", line 1, characters 5-16:
1 | open Core_kernel
         ^^^^^^^^^^^
Error (alert deprecated): module Core_kernel                                                                  
         [since 2021-05] Use [Core] -- [Core_kernel] was renamed as [Core]```

jmikedupont2 avatar Aug 16 '24 21:08 jmikedupont2