Old caml compiler with lazy evaluation somewhere?

I have been googling for a good hour to no avail :confused: Can’t find a Caml compiler implementing lazy evaluation.

I was dead sure there was a dead INRIA project. Looking for a ghost to infirming or confirming this.