Ticket #45 (closed defect: fixed)

Opened 6 years ago

Last modified 5 years ago

Better error message for runtime pattern match failure

Reported by: benl Owned by: erikd
Priority: normal Milestone: 0.1.5
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

Changed 6 years ago by benl

  • version set to 0.1.2

Test is T45-PatternMatchFailure

Changed 5 years ago by erikd

  • owner set to erikd
  • component changed from Build System to Runtime System

Fix for this in progress.

Changed 5 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.

Changed 5 years ago by benl

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

moved.

Note: See TracTickets for help on using tickets.