Skip to content

Bugfix/ Missing check for equality of lambda type and fun type in e_recursion

  • has a changelog entry

The check currently discard the type of the lambda in a recursive fonction and replace it by the annotation which mean that a function like this

let rec toto : unit -> int = fun () -> ()

Pass the type checker.

This MR add the type check which triggers an error for this function

Edited by Pierre-Emmanuel Wulfman

Merge request reports