From 8154e480dd2850d7f06e0faa37406287802eb802 Mon Sep 17 00:00:00 2001 From: hallgren Date: Thu, 27 Sep 2012 15:55:20 +0000 Subject: [PATCH] GF shell, show_operations: also show the types of linearization functions This is a simple change in GF.Grammar.Lookup.allOpers, which is used only in the implementation of the show_operations command in the shell. This is useful when importing a concrete syntax (like LexiconEng) as a resource. However, the types don't always look as nice as I hoped... --- src/compiler/GF/Grammar/Lookup.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/compiler/GF/Grammar/Lookup.hs b/src/compiler/GF/Grammar/Lookup.hs index 9e8b877a5..25c9b75a0 100644 --- a/src/compiler/GF/Grammar/Lookup.hs +++ b/src/compiler/GF/Grammar/Lookup.hs @@ -200,10 +200,11 @@ allOpers gr = ] where typesIn info = case info of - AbsFun (Just ltyp) _ _ _ -> [ltyp] - ResOper (Just ltyp) _ -> [ltyp] + AbsFun (Just ltyp) _ _ _ -> [ltyp] + ResOper (Just ltyp) _ -> [ltyp] ResValue ltyp -> [ltyp] ResOverload _ tytrs -> [ltyp | (ltyp,_) <- tytrs] + CncFun (Just (i,ctx,typ)) _ _ _ -> [L NoLoc (mkProdSimple ctx typ)] _ -> [] reachable = case greatestResource gr of Just r -> allExtendSpecs gr r