Remove erroneous space in extern signatures

This commit is contained in:
PureFunctor 2021-11-07 02:37:24 +08:00 committed by Vladimir Kalnitsky
parent ea33a04b13
commit c997fb53d3

View File

@ -297,7 +297,6 @@ showExternDataSignature { kind } { name } =
keyword "foreign data" <>
space <>
yellow (unwrap name) <>
space <>
syntax " :: " <>
showType kind