diff options
| author | hallgren <hallgren@chalmers.se> | 2012-12-20 00:15:18 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-12-20 00:15:18 +0000 |
| commit | d968503d90cbc3a2fa7e41616652a1cd07683c45 (patch) | |
| tree | 24916db13f1181909322b0acc1461bc4a168490d | |
| parent | ece3e33c5218a807d4f3a8874cfed142bc0f3566 (diff) | |
PGFService.hs: code duplication reduction
| -rw-r--r-- | src/server/PGFService.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index 908325c19..ed19541f1 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -282,9 +282,7 @@ doRandom pgf mcat mdepth mlimit mto = let trees = PGF.generateRandomDepth g pgf cat (Just depth) return $ showJSON [makeObj ["tree".=PGF.showExpr [] tree, - "linearizations".= - [makeObj ["to".=to, "text".=text] - | (to,text,bs) <- linearize' pgf mto tree]] + "linearizations".= doLinearizes pgf tree mto] | tree <- limit trees] where cat = fromMaybe (PGF.startCat pgf) mcat limit = take (fromMaybe 1 mlimit) |