diff options
| author | hallgren <hallgren@chalmers.se> | 2012-09-27 15:55:20 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-09-27 15:55:20 +0000 |
| commit | 8154e480dd2850d7f06e0faa37406287802eb802 (patch) | |
| tree | 2de9f36278310358c182f071d9a804b2139a8761 /src | |
| parent | 7e8bab04c5e580b5481017b842cea38975bdc6e9 (diff) | |
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...
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Grammar/Lookup.hs | 5 |
1 files 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 |