This repository has been archived by the owner on Sep 7, 2018. It is now read-only.

Mark CLaSH.Prelude.Synchronizer safe #102

Open

christiaanb opened this issue Mar 28, 2017 · 0 comments

Assignees

Member

christiaanb commented Mar 28, 2017

It is currently marked as Trustworthy, but is actually inferred safe

christiaanb self-assigned this

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.