Opened 10 years ago

Closed 10 years ago

Last modified 8 years ago

#77 closed defect (fixed)

crushProjClassT panics when there are type errors

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

Description (last modified by benl)

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 (4)

comment:1 Changed 10 years ago by benl

  • Description modified (diff)

comment:2 Changed 10 years ago by erikd

  • Owner set to erikd

comment:3 Changed 10 years ago by erikd

  • Resolution set to fixed
  • Status changed from new to closed

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.

comment:4 Changed 8 years ago by benl

  • Milestone 0.1.3 deleted

Milestone 0.1.3 deleted

Note: See TracTickets for help on using tickets.