id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
77	crushProjClassT panics when there are type errors	benl	erikd	"Added by Jared

{{{
example :: [()] -> ()
example list = () : example list.tail
}}}

Dies with:
{{{
DDC: error in stage solve
PANIC in Type.Squid.CrushProj
        crushProjClassT: state has errors
        [./Test.ds:1:0
            Type mismatch during unification.
                  cannot match: Base.Unit
                          with: Data.List.List %26 *22

                  type signature for 'Test.example'
                  which requires: Base.Unit
                              at: ./Test.ds:1:0

                conflicts with,
                      the use of: (:)
                         at type: Data.List.List %26 *22
                              at: ./Test.ds:2:18
        ]
}}}

Should just show the error, not panic.

Test is {{{T77-ProjTypeErrorPanic}}}

"	defect	closed	blocker	0.1.3	Source Type Inferencer	0.1.2	fixed