ref: 3b9a1cd43645904aef3e1475201dc652e44d9194
parent: aec25a2133686a6485edfe81807a761b6409c95e
author: Lennart Augustsson <lennart@augustsson.net>
date: Sun Sep 1 04:41:57 EDT 2024
Avoid using Ident directly.
--- a/src/MicroHs/Expr.hs
+++ b/src/MicroHs/Expr.hs
@@ -292,13 +292,13 @@
type ESort = EType
sKind :: ESort
-sKind = EVar (Ident noSLoc "Primitives.Kind")
+sKind = EVar (mkIdent "Primitives.Kind")
kType :: EKind
-kType = EVar (Ident noSLoc "Primitives.Type")
+kType = EVar (mkIdent "Primitives.Type")
kConstraint :: EKind
-kConstraint = EVar (Ident noSLoc "Primitives.Constraint")
+kConstraint = EVar (mkIdent "Primitives.Constraint")
tupleConstr :: SLoc -> Int -> Ident
tupleConstr loc n = mkIdentSLoc loc (replicate (n - 1) ',')
--- a/src/MicroHs/TypeCheck.hs
+++ b/src/MicroHs/TypeCheck.hs
@@ -540,7 +540,7 @@
-- r for 'realm', suggested by ChatGPT
rSort :: ESort
-rSort = EVar (Ident noSLoc "Primitives.Sort")
+rSort = EVar (mkIdent "Primitives.Sort")
sKindKindKind :: EKind
sKindKindKind = sArrow sKind (sArrow sKind sKind)
--
⑨