Closed GoogleCodeExporter closed 9 years ago
e.g. #light "off" <@ let rec f (x:int) : int -> int = g x and g (x:int) : int -> int = f x in () @>;;
Original issue reported on code.google.com by stephen....@gmail.com on 11 Jul 2011 at 3:43
stephen....@gmail.com
Original comment by stephen....@gmail.com on 13 Jul 2011 at 2:40
Original comment by stephen....@gmail.com on 20 Jul 2011 at 2:15
Original issue reported on code.google.com by
stephen....@gmail.com
on 11 Jul 2011 at 3:43