From 1d64d166be71047a6292503ae348d83d4346bc81 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Tue, 28 Nov 2023 14:07:09 +0100 Subject: [PATCH] fix the so command in case of dependent types --- src/compiler/GF/Command/SourceCommands.hs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/compiler/GF/Command/SourceCommands.hs b/src/compiler/GF/Command/SourceCommands.hs index f254f6145..3aee7b41f 100644 --- 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]