alpha
Login
or
Join now
anil.recoil.org
/
ocaml-jmap
Star
0
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
This repository has no description
Star
0
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
Overview
Issues
Pulls
Pipelines
ocaml-jmap
/
lib
/
js
/
at
main
3 files
Anil Madhavapeddy
disable jsoo builds for now
4mo ago
af0ee831
dune
disable jsoo builds for now
4 months ago
jmap_brr.ml
Eliminate Obj.magic with type-safe equivalents Replace unsafe Obj.magic casts with proper type-safe alternatives: - conpool: Make protocol parameter required, add create_basic for simple pools. The previous optional protocol with Obj.magic default was fundamentally unsound as OCaml cannot have optional parameters that change return types. - publicsuffix: Add explicit id field to trie_node instead of using Obj.magic to cast nodes to int for hashtable keys. - yamlt: Add init_unknown_builder helper that properly handles GADT refinement, returning () for Unknown_skip/Unknown_error cases where builder=unit. - jmap_brr: Use Jsont_brr.encode/decode Jsont.json instead of unsafe casts between Jv.t and Jsont.json. Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
5 months ago
jmap_brr.mli
more types and jmapq
6 months ago