diff options
| author | John J. Camilleri <john@johnjcamilleri.com> | 2021-07-08 08:56:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-08 08:56:31 +0200 |
| commit | 6077d5dd5b55bd5d70d782dd00af6ba868f2090d (patch) | |
| tree | 6dc7a61f11fe83adc06a2e9f120f6d23c7f7a9b1 /src/server/transfer | |
| parent | f2e52d6f2c2bc90febceebdea0268b40ea37476c (diff) | |
| parent | 0954b4cbab2564c4d35043a87fddc9aee26b4166 (diff) | |
Merge pull request #124 from GrammaticalFramework/cabal-cleanup
More cabal file cleanup
Diffstat (limited to 'src/server/transfer')
| -rw-r--r-- | src/server/transfer/Fold.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/server/transfer/Fold.hs b/src/server/transfer/Fold.hs index 61f0d4b34..165e762fb 100644 --- a/src/server/transfer/Fold.hs +++ b/src/server/transfer/Fold.hs @@ -13,14 +13,14 @@ fold t = case unApp t of Just (i,[x]) -> case M.lookup i foldable of - Just j -> appFold j x - _ -> mkApp i [fold x] + Just j -> appFold j x + _ -> mkApp i [fold x] Just (i,xs) -> mkApp i $ map fold xs _ -> t appFold :: CId -> Tree -> Tree -appFold j t = +appFold j t = case unApp t of Just (i,[t,ts]) | isPre i "Cons" -> mkApp j [fold t, appFold j ts] Just (i,[t,s]) | isPre i "Base" -> mkApp j [fold t, fold s] - where isPre i s = take 4 (show i) == s
\ No newline at end of file + where isPre i s = take 4 (show i) == s |