id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
79	Kind inference checking problem for mutable tuples	benl		"Added by Jared

The following function fails to compile.

{{{
example :: (Int, Int) %r0
        :- Mutable %r0
example = (0,0)
}}}

The error message is
{{{
ddc: src/Source/Desugar.hs:(647,4)-(670,28): Non-exhaustive patterns in case
}}}
The same error occurs if the region is placed before the type.

"	defect	new	blocker	0.1.4	Source Type Inferencer	0.1.2