From a4b1fb03aa88bd501dc7fd2c7c7bd4dae7c4cf72 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Sun, 7 Jul 2019 17:38:07 +0200 Subject: [PATCH] Whitespace fixes --- src/compiler/GF/Compile/PGFtoJSON.hs | 5 ++--- src/compiler/GF/Compile/pgf.schema.json | 2 +- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/src/compiler/GF/Compile/PGFtoJSON.hs b/src/compiler/GF/Compile/PGFtoJSON.hs index 7b585fc89..9a86d3e59 100644 --- a/src/compiler/GF/Compile/PGFtoJSON.hs +++ b/src/compiler/GF/Compile/PGFtoJSON.hs @@ -97,7 +97,7 @@ ffun2json (CncFun f lins) = JSON.makeObj [ ("name", mkJSStr $ showCId f) , ("lins", JSArray (map mkJSInt (Array.elems lins))) - ] + ] seq2json :: Array.Array DotPos Symbol -> JSValue seq2json seq = JSArray [sym2json s | s <- Array.elems seq] @@ -119,7 +119,7 @@ alt2json :: ([Symbol],[String]) -> JSValue alt2json (ps,ts) = new "Alt" [JSArray (map sym2json ps), JSArray (map mkJSStr ts)] new :: String -> [JSValue] -> JSValue -new f xs = +new f xs = JSON.makeObj [ ("type", mkJSStr f) , ("args", JSArray xs) @@ -132,4 +132,3 @@ mkJSStr = JSString . JSON.toJSString -- | Make JSON value from integer mkJSInt :: Integral a => a -> JSValue mkJSInt = JSRational False . toRational - diff --git a/src/compiler/GF/Compile/pgf.schema.json b/src/compiler/GF/Compile/pgf.schema.json index 2ad1d5442..a8f31e399 100644 --- a/src/compiler/GF/Compile/pgf.schema.json +++ b/src/compiler/GF/Compile/pgf.schema.json @@ -229,4 +229,4 @@ } } } -} \ No newline at end of file +}