Issue 1: "error: missing parameter type" when target type is type alias for function type
Status:  Fixed
Owner:
Closed:  Mar 2007
Project Member Reported by adria...@gmail.com, Mar 25, 2007
Code:
type z[a,b] = a => b
def f : z[int,int] = i => i + 1

What is the expected output? What do you see instead?
On trunk it works OK, but tcpoly complains "error: missing parameter
type" at the "i" parameter.

Contributed by Lauri Alanko
Mar 27, 2007
Project Member #1 adria...@gmail.com
FIX: forgot to normalize in isFunctionType (there was a TODO, but now I know why the normalize is 
necessary ;-))
should've been obvious though...
Status: Fixed