haskell.nix/patches/ghc862/singletons-2.5.1.patch
Zhenya Vinogradov 6b7c7ad95c Fix singletons patch (#409)
The previous patch was based on a master git commit, not on the 2.5.1
release
2020-01-21 17:10:48 +08:00

23 lines
816 B
Diff

diff --git a/src/Data/Singletons/Util.hs b/src/Data/Singletons/Util.hs
index 0f8f788..d5a06ef 100644
--- a/src/Data/Singletons/Util.hs
+++ b/src/Data/Singletons/Util.hs
@@ -92,7 +92,7 @@ qReportError :: Quasi q => String -> q ()
qReportError = qReport True
-- | Generate a new Unique
-qNewUnique :: DsMonad q => q Int
+qNewUnique :: DsMonad q => q Uniq
qNewUnique = do
Name _ flav <- qNewName "x"
case flav of
@@ -203,7 +203,7 @@ suffixName ident symb n =
-- convert a number into both alphanumeric and symoblic forms
uniquePrefixes :: String -- alphanumeric prefix
-> String -- symbolic prefix
- -> Int
+ -> Uniq
-> (String, String) -- (alphanum, symbolic)
uniquePrefixes alpha symb n = (alpha ++ n_str, symb ++ convert n_str)
where