diff options
| author | hallgren <hallgren@chalmers.se> | 2015-02-11 23:50:19 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-02-11 23:50:19 +0000 |
| commit | 63f79fb250c63faab922fccaa2ad840883220d69 (patch) | |
| tree | e3de5812676ffa322df61d2ab0c1f2640b969971 /src/server/exec/ContentService.hs | |
| parent | d361b7f5d271f5303deaceb719c3a7c899a1a28f (diff) | |
Translating linearization functions to Haskell: simplify the generated Haskell code
Introduced an intermediate representation for the generated Haskell expressions.
This allows pretty printing concerns to be separated from conversion concerns,
and makes it easy to apply some simplifying rewrites to the generated
expressions, e.g.
[x] ++ [y] ==> [x,y]
pure f <*> x ==> f <$> x
f <$> pure x ==> pure (f x)
join (pure x) ==> x
Diffstat (limited to 'src/server/exec/ContentService.hs')
0 files changed, 0 insertions, 0 deletions