Summary

interrupts-enabled vs disable-interrupts

Metadata

• Id: f33f57e918dc38b5a3af1615aff84166dac069ea
• Trac id: 1451
• Type: task
• Reporter: felix
• Owner:
• Cc:
• Status: closed
• Component: compiler
• Estimated difficulty: trivial
• Resolution: fixed
• Priority: minor
• Milestone: 5.0
• Version: 4.13.0
• Changetime: 2018-04-26 16:41:02 UTC
• Created: 2018-03-21 15:29:53 UTC
• Keywords:

Description

We have both declarations, with the former usable in a `(not ...)` form. We should reduce these to a single one.

Changes and comments

[2018-04-26 16:41:02 UTC] evhan changed status from new to closed

[2018-04-26 16:41:02 UTC] evhan set resolution to fixed

[2018-04-26 16:41:02 UTC] evhan wrote:

This was fixed in 2a34013f.