git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2301 from melted/version_tweak
309189cDavid Christiansen
src/Idris/REPL.hs+3−1
compare with master
unifiedsplit
@@ -1888,7 +1888,9 @@ getPort (_:xs) = getPort xs
1888opt :: (Opt -> Maybe a) -> [Opt] -> [a]
1888opt :: (Opt -> Maybe a) -> [Opt] -> [a]
1889opt = mapMaybe
1889opt = mapMaybe
1890
1890
1891−ver = showVersion version ++ "-" ++ gitHash
1891+ver = showVersion version ++ suffix
1892+ where
1893+ suffix = if gitHash =="" then "" else "-" ++ gitHash
1892
1894
1893defaultPort :: PortID
1895defaultPort :: PortID
1894defaultPort = PortNumber (fromIntegral 4294)
1896defaultPort = PortNumber (fromIntegral 4294)