Ticket #77 (closed defect: fixed)

Opened 8 years ago

Last modified 8 years ago

crushProjClassT panics when there are type errors

Reported by: benl Owned by: erikd
Priority: blocker Milestone: 0.1.3
Component: Source Type Inferencer Version: 0.1.2
Keywords: Cc:

Description (last modified by benl) (diff)

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

Change History

Changed 8 years ago by benl

  • description modified (diff)

Changed 8 years ago by erikd

  • owner set to erikd

Changed 8 years ago by erikd

  • status changed from new to closed
  • resolution set to fixed

Fixed in these two patches:

Mon Nov 9 05:37:40 EST 2009 Erik de Castro Lopo <erikd@…>

  • Move test/Broken-skip/T77-ProjTypeErrorPanic -> test/01-Error/30-Typing/T77-ProjTypeErrorPanic.

Sun Nov 8 21:47:57 EST 2009 Erik de Castro Lopo <erikd@…>

  • Fix #77 : crushProjClassT panics. Panic should be converted to an error.
Note: See TracTickets for help on using tickets.