Correct the order of declaratoins in functors.

Fixes #1385
GaloisInc · Jul 15, 2022 · 5ece8bb · 5ece8bb
1 parent 83f4575
commit 5ece8bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Cryptol/TypeCheck/Monad.hs b/src/Cryptol/TypeCheck/Monad.hs
@@ -947,7 +947,7 @@ endSubmodule =
        case iScope rw of
          x@Module { mName = SubModule m } : y : more -> rw { iScope = z : more }
            where
-           x1    = x { mName = m }
+           x1    = x { mName = m, mDecls = reverse (mDecls x) }
 
            isFun = isParametrizedModule x1