adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

riscv haskell: fail ArchInv.IRQControlInvocation 

Use fail instead of error so we don't have to prove unreachability for all
properties.
This commit is contained in:
Gerwin Klein 2019-07-09 19:55:21 +10:00
parent d224325b43
commit c764565b51
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
spec/haskell/src/SEL4/Object/Interrupt/RISCV64.hs
View File

@ -33,7 +33,7 @@ decodeIRQControlInvocation label args srcSlot extraCaps =
throw IllegalOperation
performIRQControl :: ArchInv.IRQControlInvocation -> KernelP ()
performIRQControl = error "Unreachable due to no IRQControl decode on this arch."
performIRQControl _ = fail "Unreachable due to no IRQControl decode on this arch."
handleReservedIRQ :: IRQ -> Kernel ()
handleReservedIRQ _ = return ()