From 8690809333162520cdd274270a8bc8d0f7402d38 Mon Sep 17 00:00:00 2001 From: Seth Tisue Date: Mon, 20 Mar 2017 17:08:24 -0700 Subject: fix typos --- spec/06-expressions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'spec') diff --git a/spec/06-expressions.md b/spec/06-expressions.md index 581170c5f9..0e84c427f6 100644 --- a/spec/06-expressions.md +++ b/spec/06-expressions.md @@ -455,7 +455,7 @@ $e$. Type applications can be omitted if [local type inference](#local-type-inference) can infer best type parameters -for a polymorphic functions from the types of the actual function arguments +for a polymorphic function from the types of the actual function arguments and the expected result type. ## Tuples -- cgit v1.2.3