-
Notifications
You must be signed in to change notification settings - Fork 147
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Store configurations for known domains #1405
Conversation
knownConfs = filter (\x -> "KnownConf" == nameString (FamInstEnv.fi_fam x)) allTCInsts | ||
|
||
#if MIN_VERSION_ghc(8,10,0) | ||
fsToText = Text.pack . BS8.unpack . FastString.bytesFS |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
fsToText = Text.pack . BS8.unpack . FastString.bytesFS | |
fsToText = Data.Text.Encoding.decodeUtf8 . FastString.bytesFS |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ooh, nice 👍
#if MIN_VERSION_ghc(8,10,0) | ||
fsToText = Text.pack . BS8.unpack . FastString.bytesFS | ||
#else | ||
fsToText = Text.pack . BS8.unpack . BS.pack . FastString.bytesFS |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
fsToText = Text.pack . BS8.unpack . BS.pack . FastString.bytesFS | |
fsToText = Data.Text.Encoding.decodeUtf8 . FastString.fastStringToByteString |
26e7247
to
fc524bb
Compare
When loading modules, the domain configurations for all synthesis domains are extracted into a mapping from domain name to configuration. This will help remove some KnownDomain constraints later, and help with issues like #1387.
fc524bb
to
aefc0cf
Compare
Approved elsewhere; going ahead with merge |
asActiveEdge "Rising" = Rising | ||
asActiveEdge "Falling" = Falling | ||
asActiveEdge x = error $ $(curLoc) ++ "Unknown active edge: " ++ show x |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
read
?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
No Read
instances, and the error from Read
is quite obtuse (*** Exception: Prelude.read: no parse
)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
deriving Read + readMaybe? :)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
You've got me there, I'll make a small PR for it tomorrow 👍
When loading modules, the domain configurations for all synthesis
domains are extracted into a mapping from domain name to configuration.
This will help remove some KnownDomain constraints later, and help
with issues like #1387.