Fixed the pulling up of replicators when they are free names (something that was broken in the original Rep change)
This commit is contained in:
parent
e2dac3aa76
commit
069cfd9a9f
|
@ -163,6 +163,7 @@ removeFreeNames = pass "Convert free names to arguments"
|
|||
A.IsChannelArray {} -> True
|
||||
A.Retypes {} -> True
|
||||
A.RetypesExpr {} -> True
|
||||
A.Rep {} -> True
|
||||
_ -> False
|
||||
|
||||
-- | Add the extra arguments we recorded when we saw the definition.
|
||||
|
|
Loading…
Reference in New Issue
Block a user