diff options
| author | Erik Svedäng <erik@coherence.io> | 2021-10-18 16:53:54 +0200 |
|---|---|---|
| committer | Erik Svedäng <erik@coherence.io> | 2021-10-18 16:53:54 +0200 |
| commit | 5d4d6f1c1de2ee9996e3a7b0d3ae2917aa1d8c34 (patch) | |
| tree | e9bacca3081f2278242d7a0f7e4b63389fdd14c3 | |
| parent | a7c368f1ec689b5e6e88e0d7c34f079ac711d170 (diff) | |
fix: keep old xobj for nowinvalid-obj-mod-fix
| -rw-r--r-- | src/InitialTypes.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/InitialTypes.hs b/src/InitialTypes.hs index f8495f08..bd044640 100644 --- a/src/InitialTypes.hs +++ b/src/InitialTypes.hs @@ -98,7 +98,7 @@ initialTypes typeEnv rootEnv root = evalState (visit rootEnv root) 0 If -> pure (Left (InvalidObj If xobj)) While -> pure (Left (InvalidObj While xobj)) Do -> pure (Left (InvalidObj Do xobj)) - m@(Mod _ _) -> pure (Left (InvalidObj m root)) + m@(Mod _ _) -> pure (Left (InvalidObj m xobj)) e@(Deftype _) -> pure (Left (InvalidObj e xobj)) e@(External _) -> pure (Left (InvalidObj e xobj)) e@(ExternalType _) -> pure (Left (InvalidObj e xobj)) |