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,,,