diff options
Diffstat (limited to 'src/compiler/GF/Command/Commands2.hs')
| -rw-r--r-- | src/compiler/GF/Command/Commands2.hs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/compiler/GF/Command/Commands2.hs b/src/compiler/GF/Command/Commands2.hs index 4e68c05ff..4ffa4e763 100644 --- a/src/compiler/GF/Command/Commands2.hs +++ b/src/compiler/GF/Command/Commands2.hs @@ -812,7 +812,8 @@ pgfCommands = Map.fromList [ unlines [showFun' f ty|f<-funs, let ty=C.functionType pgf f, target ty == c] - target (C.DTyp _ c _) = c + --target (C.DTyp _ c _) = c + target t = case C.unType t of (_,c,_) -> c {- [e] -> case H.inferExpr pgf e of Left tcErr -> error $ render (H.ppTcError tcErr) @@ -977,7 +978,8 @@ pgfCommands = Map.fromList [ -} optCat pgf opts = case listFlags "cat" opts of - v:_ -> C.DTyp [] (valueString v) [] + --v:_ -> C.DTyp [] (valueString v) [] + v:_ -> C.mkType [] (valueString v) [] _ -> C.startCat pgf {- @@ -1029,7 +1031,7 @@ pgfCommands = Map.fromList [ | otherwise = return void -- TODO implement more options showFun pgf f = showFun' f (C.functionType pgf f) - showFun' f ty = "fun "++f++" : "++C.showType ty + showFun' f ty = "fun "++f++" : "++C.showType [] ty {- prGrammar env@(pgf,mos) opts |