Merge pull request #2301 from melted/version_tweak
Don't show a trailing dash if a relase version
commit309189cf5381e4ca78257d81bf75f74c14ee5c9a
authorDavid Christiansen <david@davidchristiansen.dk>
dateTue 19 May 2015, 22:06 (11 years ago)
parent5b8ad9fae16e9d
src/Idris/REPL.hs+3−1
@@ -1888,7 +1888,9 @@ getPort (_:xs) = getPort xs
18881888opt :: (Opt -> Maybe a) -> [Opt] -> [a]
18891889opt = mapMaybe
18901890
1891−ver = showVersion version ++ "-" ++ gitHash
1891+ver = showVersion version ++ suffix
1892+ where
1893+ suffix = if gitHash =="" then "" else "-" ++ gitHash
18921894
18931895defaultPort :: PortID
18941896defaultPort = PortNumber (fromIntegral 4294)