id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
143	Type signature without implementation should be an error	erikd	benl	"Simple example:

{{{
whatever :: Int -> Float

main = println ""Hello""
}}}

should raise an error about a missing implementation for whatever.
"	defect	closed	blocker	0.1.3	Source Semantics	0.1.2	fixed