fix the so command in case of dependent types

GrammaticalFramework · Nov 28, 2023 · 1d64d16 · 1d64d16
1 parent 54e06b5
commit 1d64d16
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/compiler/GF/Command/SourceCommands.hs b/src/compiler/GF/Command/SourceCommands.hs
@@ -212,9 +212,8 @@ sourceCommands = Map.fromList [
                          return $ allOpersTo sgr ty
                _   -> return $ allOpers sgr
       let sigs = [(op,ty) | ((mo,op),ty,pos) <- ops]
-          printer = if isOpt "raw" os
-                      then showTerm sgr TermPrintDefault Qualified
-                      else (render . TC.ppType)
+          printer = showTerm sgr TermPrintDefault
+                             (if isOpt "raw" os then Qualified else Unqualified)
           printed = [unwords [showIdent op, ":", printer ty] | (op,ty) <- sigs]
       return . fromString $ unlines [l | l <- printed, all (`isInfixOf` l) greps]