« Previous | Next » 

Revision e41f4ba0

IDe41f4ba0ad09bcf3a696ab4eb7a1952e29f37d1f
Parent be811997
Child bfefb674

Added by Iustin Pop about 14 years ago

Fix iallocator crash when no solutions exist

Commit 5436576 added an un-guarded `head' call, which crashes with
“Prelude.head: empty list” when no results exists for the per-instance
allocation/relocation calls.

This patch fixes this, and also adds another check for an unguarded
`head' call during parsing of input data.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences