Skip to content
OCaml CI

fix(typecheck): infer recursive functions' return type by fixpoint (#88) #9

Sign in to view logs

fix(typecheck): infer recursive functions' return type by fixpoint (#88)

fix(typecheck): infer recursive functions' return type by fixpoint (#88) #9

Triggered via pull request July 29, 2026 00:48
@hyperpolymathhyperpolymath
opened #91
feat/corpus-typing-88
Status Success
Total duration 32s
Artifacts –

ocaml-ci.yml

on: pull_request
Build + test the OCaml compiler
21s
Build + test the OCaml compiler
Fit to window
Zoom out
Zoom in