Opened 11 years ago

Closed 10 years ago

Last modified 8 years ago

#45 closed defect (fixed)

Better error message for runtime pattern match failure

Reported by: benl Owned by: erikd
Priority: normal Milestone:
Component: Runtime System Version: 0.1.2
Keywords: Cc:

Description

With

theHead (x:xs) = x

thing :: [Int]
thing = []

main ()
 = do	putStr $ show $ theHead thing

We get

*** DDC RTS: Non-exhaustive patterns in Main_theHead

No location info, no module name. Not that useful.

Change History (5)

comment:1 Changed 11 years ago by benl

  • Version set to 0.1.2

Test is T45-PatternMatchFailure

comment:2 Changed 10 years ago by erikd

  • Component changed from Build System to Runtime System
  • Owner set to erikd

Fix for this in progress.

comment:3 Changed 10 years ago by erikd

  • Status changed from new to assigned

This has been fixed in these patches:

Tue Nov 10 18:51:30 EST 2009 Erik de Castro Lopo <erikd@…>

  • Fix #45 : Add proper source position for RTS errors.

Tue Nov 10 18:41:32 EST 2009 Erik de Castro Lopo <erikd@…>

The tests can be moved into the main test suite after bin/war2 has been updated to detect, check and verify RTS errors.

comment:4 Changed 10 years ago by benl

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

moved.

comment:5 Changed 8 years ago by benl

  • Milestone 0.1.5 deleted

Milestone 0.1.5 deleted

Note: See TracTickets for help on using tickets.