unbox:Hilfe GHC ein Int in Gleichheit auf eine konstanten
main = do
n <- fmap read $ getLine :: IO Int
if (999999 == n) then putStrLn "equal" else return()
Und hier ist das entsprechende Bit des Kerns, wenn sie mit ghc --make -O2 -ddump-to-file -ddump-simpl -dsuppress-module-prefixes -dsuppress-uniques -ddump-core-stats -ddump-inlinings
zusammengestellt:
case readEither6 @ Int (run @ Int main3 ipv1) of _ [Occ=Dead] {
[] -> case error @ Int readEither4 of wild1 { };
: x ds1 ->
case ds1 of _ [Occ=Dead] {
[] ->
case x of _ [Occ=Dead] { I# ipv2 ->
case ipv2 of _ [Occ=Dead] {
__DEFAULT -> (# ipv,() #);
999999 -> hPutStr2 stdout main2 True ipv
}
};
: ipv2 ipv3 -> case error @ Int readEither2 of wild2 { }
}
Ich frage mich, Wenn die Groß-/Kleinschreibung auf dem Literal 999999 richtig ist, ist es hier die effizienteste Sache, und wenn nicht, wie kann ich GHC ermutigen, dies in einen Anruf zu ==#
oder etwas umzuwandeln?
(Meine eigentliche Anwendung ist mehr beteiligt)
Hoppla, ich habe den äußeren Fall verpasst. Das machte meine Antwort für die gestellte Frage völlig irrelevant. – Carl
@Carl, ich weiß nicht, ob es relevant oder nicht in der Absicht der Frage ist! – dfeuer