diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-12-20 23:26:10 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-12-20 23:26:10 +0000 |
| commit | ab7da811d2236b3bd571140bc9ad121b10144e6a (patch) | |
| tree | 2188ae81310f485e72b5bca1843e469e8e9484fb /src | |
| parent | 176abb51d189f2dcaefa74158ea4d9f6540a4b55 (diff) | |
Fixed indentation in generated haskell code for list categories.
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Devel/GFCCtoHaskell.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Devel/GFCCtoHaskell.hs b/src/GF/Devel/GFCCtoHaskell.hs index 8101537ca..aa3eebe58 100644 --- a/src/GF/Devel/GFCCtoHaskell.hs +++ b/src/GF/Devel/GFCCtoHaskell.hs @@ -126,9 +126,9 @@ hInstance m (cat,[]) = "" hInstance m (cat,rules) | isListCat (cat,rules) = "instance Gf" +++ gId cat +++ "where" ++++ - " gf (" ++ gId cat +++ "[" ++ concat (intersperse "," baseVars) ++ "])" + " gf (" ++ gId cat +++ "[" ++ concat (intersperse "," baseVars) ++ "])" +++ "=" +++ mkRHS ("Base"++ec) baseVars ++++ - " gf (" ++ gId cat +++ "(x:xs)) = " + " gf (" ++ gId cat +++ "(x:xs)) = " ++ mkRHS ("Cons"++ec) ["x",prParenth (gId cat+++"xs")] -- no show for GADTs -- ++++ " gf (" ++ gId cat +++ "xs) = error (\"Bad " ++ cat ++ " value: \" ++ show xs)" |