Regression test.

Estimated hours taken: 0.05

tests/valid/lambda_inference.m
	Regression test.

tests/valid/Mmake

@@ -23,6 +23,7 @@ SOURCES= \
 	higher_order3.m\
 	implied_mode.m \
 	indexing.m \
+	lambda_inference.m\
 	loop.m \
 	multidet_prune1.m \
 	multidet_test.m \

tests/valid/lambda_inference.m

@@ -0,0 +1,17 @@
+% regression test for inference and lambda modes.
+:- module lambda_inference.
+
+:- interface.
+
+
+:- pred ok(int, pred(int)).
+:- mode ok(in, free -> pred(in) is semidet) is semidet.
+
+:- implementation.
+
+ok(Var, lambda([X::in] is semidet, X = 5)) :-
+	inferred(Var).
+
+:- pred inferred(int).
+
+inferred(5).