diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-10-05 21:09:38 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-10-05 21:09:38 +0200 |
| commit | 0bb6b5968e1dc243bc251e49df97a07dd5f9ba5a (patch) | |
| tree | 3246ab550dfdcc405e41f5a86c9c9405dc726207 /src/compiler/GF/Command | |
| parent | e3aa392e63b0d0f314b286d207cd187be5837ad8 (diff) | |
temporaryly fix GF.Command.Commands2
Diffstat (limited to 'src/compiler/GF/Command')
| -rw-r--r-- | src/compiler/GF/Command/Commands2.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Command/Commands2.hs b/src/compiler/GF/Command/Commands2.hs index 995d2d560..0cc5d7d23 100644 --- a/src/compiler/GF/Command/Commands2.hs +++ b/src/compiler/GF/Command/Commands2.hs @@ -612,7 +612,7 @@ pgfCommands = Map.fromList [ Nothing -> let funs = functionsByCat pgf id in showCat id funs)) where - showCat c funs = "cat "++showCategory pgf c++ + showCat c funs = "cat "++c++ " ;\n\n"++ unlines [showFun f ty| f<-funs, Just ty <- [functionType pgf f]] |