Skip to content

Commit 003141f

Browse files
committed
Remove idPreludeCons, qualify idCons and idNil
1 parent 5c926b8 commit 003141f

File tree

2 files changed

+5
-7
lines changed

2 files changed

+5
-7
lines changed

src/comp/IExpand.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2118,7 +2118,7 @@ evalStringList e = do
21182118
e' <- evaleUH e
21192119
case e' of
21202120
IAps (ICon i _) _ [a] ->
2121-
if i == idPreludeCons then do
2121+
if i == idCons noPosition then do
21222122
a' <- evaleUH a
21232123
case a' of
21242124
IAps (ICon _ (ICTuple {})) _ [e_h, e_t] -> do

src/comp/PreIds.hs

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -121,11 +121,10 @@ idInvalid = prelude_id_no fsInvalid
121121
idValid = prelude_id_no fsValid
122122
idEmpty = prelude_id_no fsEmptyIfc
123123
idFile = prelude_id_no fsFile
124-
idEither, idLeft, idRight, idPreludeCons :: Id
124+
idEither, idLeft, idRight :: Id
125125
idEither = prelude_id_no fsEither
126126
idLeft = prelude_id_no fsLeft
127127
idRight = prelude_id_no fsRight
128-
idPreludeCons = prelude_id_no fsCons -- idCons isn't qualified
129128

130129
idActionValue :: Id
131130
idActionValue = prelude_id_no fsActionValue
@@ -308,14 +307,13 @@ idSJump pos = mkId pos fsSJump
308307
idSNamed pos = mkId pos fsSNamed
309308
idS pos = mkId pos fsS
310309
idStmt pos = mkId pos fsStmt
311-
idSBreak, idSContinue, idSReturn, idCons, idConcat :: Position -> Id
310+
idSBreak, idSContinue, idSReturn, idCons :: Position -> Id
312311
idSBreak pos = mkId pos fsSBreak
313312
idSContinue pos = mkId pos fsSContinue
314313
idSReturn pos = mkId pos fsSReturn
315-
idCons pos = mkId pos fsCons
316-
idConcat pos = mkId pos fsConcat
314+
idCons pos = prelude_id pos fsCons
317315
idNil, idNothing, idSprime :: Position -> Id
318-
idNil pos = mkId pos fsNil
316+
idNil pos = prelude_id pos fsNil
319317
idNothing pos = mkId pos fsNothing
320318
idSprime pos = mkId pos fsSprime
321319

0 commit comments

Comments
 (0)