--- /dev/null
+/* error : second function uses variables local to the first one, undeclared variable */
+let
+
+function do_nothing1(a: int, b: string):int=
+ (do_nothing2(a+1);0)
+
+function do_nothing2(d: int):string =
+ (do_nothing1(a, "str");" ")
+
+in
+ do_nothing1(0, "str2")
+end
+