Implement parser for Piet

helvm · Jul 25, 2023 · 2431acd · 2431acd
1 parent 172a6bd
commit 2431acd
Show file tree

Hide file tree

Showing 263 changed files with 13,311 additions and 535 deletions.
diff --git a/.output/actual/piet/parsed/pietcc/hw.png.parsed b/.output/actual/piet/parsed/pietcc/hw.png.parsed
diff --git a/.output/golden/piet/parsed/pietcc/hw.png.parsed b/.output/golden/piet/parsed/pietcc/hw.png.parsed
diff --git a/cabal.project b/cabal.project
@@ -4,4 +4,4 @@ source-repository-package
   type: git
   location: https://github.com/helvm/helio.git
   branch: master
-  tag: 0.1.1.8
+  tag: 0.1.2.3
diff --git a/docs/developers/CHANGELOG.md b/docs/developers/CHANGELOG.md
@@ -1,5 +1,8 @@
 # 📅 Revision history for HelMA
 
+## 0.8.4.13 -- 2023-07-25
+* Implement parser for Piet
+
 ## 0.8.4.12 -- 2023-07-24
 * Add examples for Piet
 

diff --git a/...lMA.Automata.BrainFuck.API.BFType.hs.html → ...lMA.Automata.BrainFuck.API.BFType.hs.html b/...lMA.Automata.BrainFuck.API.BFType.hs.html → ...lMA.Automata.BrainFuck.API.BFType.hs.html
diff --git a/...rainFuck.Common.SimpleInstruction.hs.html → ...rainFuck.Common.SimpleInstruction.hs.html b/...rainFuck.Common.SimpleInstruction.hs.html → ...rainFuck.Common.SimpleInstruction.hs.html
diff --git a/....Automata.BrainFuck.Common.Symbol.hs.html → ....Automata.BrainFuck.Common.Symbol.hs.html b/....Automata.BrainFuck.Common.Symbol.hs.html → ....Automata.BrainFuck.Common.Symbol.hs.html
diff --git a/...ta.BrainFuck.Common.TapeOfSymbols.hs.html → ...ta.BrainFuck.Common.TapeOfSymbols.hs.html b/...ta.BrainFuck.Common.TapeOfSymbols.hs.html → ...ta.BrainFuck.Common.TapeOfSymbols.hs.html
diff --git a/...elMA.Automata.BrainFuck.Evaluator.hs.html → ...elMA.Automata.BrainFuck.Evaluator.hs.html b/...elMA.Automata.BrainFuck.Evaluator.hs.html → ...elMA.Automata.BrainFuck.Evaluator.hs.html
diff --git a/...ata.BrainFuck.Impl.Fast.Evaluator.hs.html → ...ata.BrainFuck.Impl.Fast.Evaluator.hs.html b/...ata.BrainFuck.Impl.Fast.Evaluator.hs.html → ...ata.BrainFuck.Impl.Fast.Evaluator.hs.html
diff --git a/...a.BrainFuck.Impl.Fast.Instruction.hs.html → ...a.BrainFuck.Impl.Fast.Instruction.hs.html b/...a.BrainFuck.Impl.Fast.Instruction.hs.html → ...a.BrainFuck.Impl.Fast.Instruction.hs.html
diff --git a/...ata.BrainFuck.Impl.Fast.Optimizer.hs.html → ...ata.BrainFuck.Impl.Fast.Optimizer.hs.html b/...ata.BrainFuck.Impl.Fast.Optimizer.hs.html → ...ata.BrainFuck.Impl.Fast.Optimizer.hs.html
diff --git a/...tomata.BrainFuck.Impl.Fast.Parser.hs.html → ...tomata.BrainFuck.Impl.Fast.Parser.hs.html b/...tomata.BrainFuck.Impl.Fast.Parser.hs.html → ...tomata.BrainFuck.Impl.Fast.Parser.hs.html
diff --git a/...ata.BrainFuck.Impl.Flat.Evaluator.hs.html → ...ata.BrainFuck.Impl.Flat.Evaluator.hs.html b/...ata.BrainFuck.Impl.Flat.Evaluator.hs.html → ...ata.BrainFuck.Impl.Flat.Evaluator.hs.html
diff --git a/...a.BrainFuck.Impl.Flat.Instruction.hs.html → ...a.BrainFuck.Impl.Flat.Instruction.hs.html b/...a.BrainFuck.Impl.Flat.Instruction.hs.html → ...a.BrainFuck.Impl.Flat.Instruction.hs.html
diff --git a/...tomata.BrainFuck.Impl.Flat.Parser.hs.html → ...tomata.BrainFuck.Impl.Flat.Parser.hs.html b/...tomata.BrainFuck.Impl.Flat.Parser.hs.html → ...tomata.BrainFuck.Impl.Flat.Parser.hs.html
diff --git a/...uck.Impl.Flat.TableOfInstructions.hs.html → ...uck.Impl.Flat.TableOfInstructions.hs.html b/...uck.Impl.Flat.TableOfInstructions.hs.html → ...uck.Impl.Flat.TableOfInstructions.hs.html
diff --git a/...ata.BrainFuck.Impl.Tree.Evaluator.hs.html → ...ata.BrainFuck.Impl.Tree.Evaluator.hs.html b/...ata.BrainFuck.Impl.Tree.Evaluator.hs.html → ...ata.BrainFuck.Impl.Tree.Evaluator.hs.html
diff --git a/...a.BrainFuck.Impl.Tree.Instruction.hs.html → ...a.BrainFuck.Impl.Tree.Instruction.hs.html b/...a.BrainFuck.Impl.Tree.Instruction.hs.html → ...a.BrainFuck.Impl.Tree.Instruction.hs.html
diff --git a/...tomata.BrainFuck.Impl.Tree.Parser.hs.html → ...tomata.BrainFuck.Impl.Tree.Parser.hs.html b/...tomata.BrainFuck.Impl.Tree.Parser.hs.html → ...tomata.BrainFuck.Impl.Tree.Parser.hs.html
diff --git a/...elVM.HelMA.Automata.Cat.Evaluator.hs.html → ...elVM.HelMA.Automata.Cat.Evaluator.hs.html b/...elVM.HelMA.Automata.Cat.Evaluator.hs.html → ...elVM.HelMA.Automata.Cat.Evaluator.hs.html
diff --git a/...elMA.Automata.ETA.API.ETAImplType.hs.html → ...elMA.Automata.ETA.API.ETAImplType.hs.html b/...elMA.Automata.ETA.API.ETAImplType.hs.html → ...elMA.Automata.ETA.API.ETAImplType.hs.html
diff --git a/...lVM.HelMA.Automata.ETA.Addressing.hs.html → ...lVM.HelMA.Automata.ETA.Addressing.hs.html b/...lVM.HelMA.Automata.ETA.Addressing.hs.html → ...lVM.HelMA.Automata.ETA.Addressing.hs.html
diff --git a/...elVM.HelMA.Automata.ETA.Automaton.hs.html → ...elVM.HelMA.Automata.ETA.Automaton.hs.html b/...elVM.HelMA.Automata.ETA.Automaton.hs.html → ...elVM.HelMA.Automata.ETA.Automaton.hs.html
diff --git a/...elVM.HelMA.Automata.ETA.Evaluator.hs.html → ...elVM.HelMA.Automata.ETA.Evaluator.hs.html b/...elVM.HelMA.Automata.ETA.Evaluator.hs.html → ...elVM.HelMA.Automata.ETA.Evaluator.hs.html
diff --git a/...ce/HelVM.HelMA.Automata.ETA.Lexer.hs.html → ...ce/HelVM.HelMA.Automata.ETA.Lexer.hs.html b/...ce/HelVM.HelMA.Automata.ETA.Lexer.hs.html → ...ce/HelVM.HelMA.Automata.ETA.Lexer.hs.html
diff --git a/...HelMA.Automata.ETA.OperandParsers.hs.html → ...HelMA.Automata.ETA.OperandParsers.hs.html b/...HelMA.Automata.ETA.OperandParsers.hs.html → ...HelMA.Automata.ETA.OperandParsers.hs.html
diff --git a/...elVM.HelMA.Automata.ETA.Optimizer.hs.html → ...elVM.HelMA.Automata.ETA.Optimizer.hs.html b/...elVM.HelMA.Automata.ETA.Optimizer.hs.html → ...elVM.HelMA.Automata.ETA.Optimizer.hs.html
diff --git a/...e/HelVM.HelMA.Automata.ETA.Parser.hs.html → ...e/HelVM.HelMA.Automata.ETA.Parser.hs.html b/...e/HelVM.HelMA.Automata.ETA.Parser.hs.html → ...e/HelVM.HelMA.Automata.ETA.Parser.hs.html
diff --git a/...M.HelMA.Automata.ETA.SimpleParams.hs.html → ...M.HelMA.Automata.ETA.SimpleParams.hs.html b/...M.HelMA.Automata.ETA.SimpleParams.hs.html → ...M.HelMA.Automata.ETA.SimpleParams.hs.html
diff --git a/...ce/HelVM.HelMA.Automata.ETA.Token.hs.html → ...ce/HelVM.HelMA.Automata.ETA.Token.hs.html b/...ce/HelVM.HelMA.Automata.ETA.Token.hs.html → ...ce/HelVM.HelMA.Automata.ETA.Token.hs.html
diff --git a/...M.HelMA.Automata.FALSE.Expression.hs.html → ...M.HelMA.Automata.FALSE.Expression.hs.html b/...M.HelMA.Automata.FALSE.Expression.hs.html → ...M.HelMA.Automata.FALSE.Expression.hs.html
diff --git a/...HelVM.HelMA.Automata.FALSE.Parser.hs.html → ...HelVM.HelMA.Automata.FALSE.Parser.hs.html b/...HelVM.HelMA.Automata.FALSE.Parser.hs.html → ...HelVM.HelMA.Automata.FALSE.Parser.hs.html
diff --git a/...VM.HelMA.Automata.LazyK.Automaton.hs.html → ...VM.HelMA.Automata.LazyK.Automaton.hs.html b/...VM.HelMA.Automata.LazyK.Automaton.hs.html → ...VM.HelMA.Automata.LazyK.Automaton.hs.html
diff --git a/...VM.HelMA.Automata.LazyK.Constants.hs.html → ...VM.HelMA.Automata.LazyK.Constants.hs.html b/...VM.HelMA.Automata.LazyK.Constants.hs.html → ...VM.HelMA.Automata.LazyK.Constants.hs.html
diff --git a/...VM.HelMA.Automata.LazyK.Evaluator.hs.html → ...VM.HelMA.Automata.LazyK.Evaluator.hs.html b/...VM.HelMA.Automata.LazyK.Evaluator.hs.html → ...VM.HelMA.Automata.LazyK.Evaluator.hs.html
diff --git a/...HelMA.Automata.LazyK.InputEncoder.hs.html → ...HelMA.Automata.LazyK.InputEncoder.hs.html b/...HelMA.Automata.LazyK.InputEncoder.hs.html → ...HelMA.Automata.LazyK.InputEncoder.hs.html
diff --git a/...HelVM.HelMA.Automata.LazyK.Lambda.hs.html → ...HelVM.HelMA.Automata.LazyK.Lambda.hs.html b/...HelVM.HelMA.Automata.LazyK.Lambda.hs.html → ...HelVM.HelMA.Automata.LazyK.Lambda.hs.html
diff --git a/.../HelVM.HelMA.Automata.LazyK.Lexer.hs.html → .../HelVM.HelMA.Automata.LazyK.Lexer.hs.html b/.../HelVM.HelMA.Automata.LazyK.Lexer.hs.html → .../HelVM.HelMA.Automata.LazyK.Lexer.hs.html
diff --git a/...HelVM.HelMA.Automata.LazyK.Parser.hs.html → ...HelVM.HelMA.Automata.LazyK.Parser.hs.html b/...HelVM.HelMA.Automata.LazyK.Parser.hs.html → ...HelVM.HelMA.Automata.LazyK.Parser.hs.html
diff --git a/...elVM.HelMA.Automata.LazyK.Reducer.hs.html → ...elVM.HelMA.Automata.LazyK.Reducer.hs.html b/...elVM.HelMA.Automata.LazyK.Reducer.hs.html → ...elVM.HelMA.Automata.LazyK.Reducer.hs.html
diff --git a/docs/reports/helma-test/helma-0.8.4.13-inplace/HelVM.HelMA.Automata.Piet.Color.hs.html b/docs/reports/helma-test/helma-0.8.4.13-inplace/HelVM.HelMA.Automata.Piet.Color.hs.html
@@ -0,0 +1,77 @@
+<html>
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<style type="text/css">
+span.lineno { color: white; background: #aaaaaa; border-right: solid white 12px }
+span.nottickedoff { background: yellow}
+span.istickedoff { background: white }
+span.tickonlyfalse { margin: -1px; border: 1px solid #f20913; background: #f20913 }
+span.tickonlytrue  { margin: -1px; border: 1px solid #60de51; background: #60de51 }
+span.funcount { font-size: small; color: orange; z-index: 2; position: absolute; right: 20 }
+span.decl { font-weight: bold }
+span.spaces    { background: white }
+</style>
+</head>
+<body>
+<pre>
+<span class="decl"><span class="nottickedoff">never executed</span> <span class="tickonlytrue">always true</span> <span class="tickonlyfalse">always false</span></span>
+</pre>
+<pre>
+<span class="lineno">    1 </span>module HelVM.HelMA.Automata.Piet.Color where
+<span class="lineno">    2 </span>
+<span class="lineno">    3 </span>import           HelVM.HelIO.SwitchEnum
+<span class="lineno">    4 </span>
+<span class="lineno">    5 </span>mixedColor :: MixedColor -&gt; MixedColor -&gt; MixedColor
+<span class="lineno">    6 </span><span class="decl"><span class="nottickedoff">mixedColor (MixedColor b1 h1) (MixedColor b2 h2) = MixedColor (brightnessChange b1 b2) (hueChange h1 h2)</span></span>
+<span class="lineno">    7 </span>
+<span class="lineno">    8 </span>brightnessChange :: Brightness -&gt; Brightness -&gt; Brightness
+<span class="lineno">    9 </span><span class="decl"><span class="nottickedoff">brightnessChange = change 3</span></span>
+<span class="lineno">   10 </span>
+<span class="lineno">   11 </span>hueChange :: Hue -&gt; Hue -&gt; Hue
+<span class="lineno">   12 </span><span class="decl"><span class="nottickedoff">hueChange = change 6</span></span>
+<span class="lineno">   13 </span>
+<span class="lineno">   14 </span>change :: (Bounded e, Enum e) =&gt; Int -&gt; e -&gt; e -&gt; e
+<span class="lineno">   15 </span><span class="decl"><span class="nottickedoff">change i e1 e2 = unsafeEnum $ (fromEnum e2 - fromEnum e1) `mod` i</span></span>
+<span class="lineno">   16 </span>
+<span class="lineno">   17 </span>-- | Constructors
+<span class="lineno">   18 </span>rgb2Color :: (Num a , Eq a) =&gt; RGBColor a -&gt; Color
+<span class="lineno">   19 </span><span class="decl"><span class="istickedoff">rgb2Color (RGBColor 0xff 0xc0 0xc0) = OtherColor $ MixedColor Light  Red</span>
+<span class="lineno">   20 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0xff 0x00 0x00) = OtherColor $ MixedColor Normal Red</span>
+<span class="lineno">   21 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0xc0 0x00 0x00) = OtherColor $ MixedColor Dark   Red</span>
+<span class="lineno">   22 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0xff 0xff 0xc0) = OtherColor $ MixedColor Light  Yellow</span>
+<span class="lineno">   23 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0xff 0xff 0x00) = OtherColor $ MixedColor Normal Yellow</span>
+<span class="lineno">   24 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0xc0 0xc0 0x00) = OtherColor $ MixedColor Dark   Yellow</span>
+<span class="lineno">   25 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0xc0 0xff 0xc0) = <span class="nottickedoff">OtherColor $ MixedColor Light  Green</span></span>
+<span class="lineno">   26 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0x00 0xff 0x00) = OtherColor $ MixedColor Normal Green</span>
+<span class="lineno">   27 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0x00 0xc0 0x00) = OtherColor $ MixedColor Dark   Green</span>
+<span class="lineno">   28 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0xc0 0xff 0xff) = <span class="nottickedoff">OtherColor $ MixedColor Light  Cyan</span></span>
+<span class="lineno">   29 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0x00 0xff 0xff) = OtherColor $ MixedColor Normal Cyan</span>
+<span class="lineno">   30 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0x00 0xc0 0xc0) = OtherColor $ MixedColor Dark   Cyan</span>
+<span class="lineno">   31 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0xc0 0xc0 0xff) = OtherColor $ MixedColor Light  Blue</span>
+<span class="lineno">   32 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0x00 0x00 0xff) = OtherColor $ MixedColor Normal Blue</span>
+<span class="lineno">   33 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0x00 0x00 0xc0) = OtherColor $ MixedColor Dark   Blue</span>
+<span class="lineno">   34 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0xff 0xc0 0xff) = OtherColor $ MixedColor Light  Magenta</span>
+<span class="lineno">   35 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0xff 0x00 0xff) = OtherColor $ MixedColor Normal Magenta</span>
+<span class="lineno">   36 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0xc0 0x00 0xc0) = OtherColor $ MixedColor Dark   Magenta</span>
+<span class="lineno">   37 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0x00 0x00 0x00) = Black</span>
+<span class="lineno">   38 </span><span class="spaces"></span><span class="istickedoff">rgb2Color (RGBColor 0xff 0xff 0xff) = <span class="nottickedoff">White</span></span>
+<span class="lineno">   39 </span><span class="spaces"></span><span class="istickedoff">rgb2Color  _                        = <span class="nottickedoff">White</span></span></span>
+<span class="lineno">   40 </span>
+<span class="lineno">   41 </span>-- | Types
+<span class="lineno">   42 </span>data RGBColor a = RGBColor a a a
+<span class="lineno">   43 </span>
+<span class="lineno">   44 </span>data Color = Black | White | OtherColor !MixedColor
+<span class="lineno">   45 </span>  deriving stock (<span class="decl"><span class="istickedoff">Show</span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Read</span></span></span></span></span></span> , <span class="decl"><span class="nottickedoff">Eq</span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Ord</span></span></span></span></span></span></span></span></span></span>)
+<span class="lineno">   46 </span>
+<span class="lineno">   47 </span>data MixedColor = MixedColor !Brightness !Hue
+<span class="lineno">   48 </span>  deriving stock (<span class="decl"><span class="istickedoff">Show</span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Read</span></span></span></span></span></span> , <span class="decl"><span class="nottickedoff">Eq</span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Ord</span></span></span></span></span></span></span></span></span></span>)
+<span class="lineno">   49 </span>
+<span class="lineno">   50 </span>data Brightness = Light | Normal | Dark
+<span class="lineno">   51 </span>  deriving stock (<span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Bounded</span></span></span></span> , <span class="decl"><span class="istickedoff">Show</span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Read</span></span></span></span></span></span>, <span class="decl"><span class="nottickedoff">Eq</span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Ord</span></span></span></span></span></span></span></span></span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Enum</span></span></span></span></span></span></span></span></span></span></span></span>)
+<span class="lineno">   52 </span>
+<span class="lineno">   53 </span>data Hue = Red | Yellow | Green | Cyan | Blue | Magenta
+<span class="lineno">   54 </span>  deriving stock (<span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Bounded</span></span></span></span> , <span class="decl"><span class="istickedoff">Show</span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Read</span></span></span></span></span></span>, <span class="decl"><span class="nottickedoff">Eq</span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Ord</span></span></span></span></span></span></span></span></span></span> , <span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff"><span class="decl"><span class="nottickedoff">Enum</span></span></span></span></span></span></span></span></span></span></span></span>)
+
+</pre>
+</body>
+</html>
diff --git a/docs/reports/helma-test/helma-0.8.4.13-inplace/HelVM.HelMA.Automata.Piet.Image.hs.html b/docs/reports/helma-test/helma-0.8.4.13-inplace/HelVM.HelMA.Automata.Piet.Image.hs.html
@@ -0,0 +1,48 @@
+<html>
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<style type="text/css">
+span.lineno { color: white; background: #aaaaaa; border-right: solid white 12px }
+span.nottickedoff { background: yellow}
+span.istickedoff { background: white }
+span.tickonlyfalse { margin: -1px; border: 1px solid #f20913; background: #f20913 }
+span.tickonlytrue  { margin: -1px; border: 1px solid #60de51; background: #60de51 }
+span.funcount { font-size: small; color: orange; z-index: 2; position: absolute; right: 20 }
+span.decl { font-weight: bold }
+span.spaces    { background: white }
+</style>
+</head>
+<body>
+<pre>
+<span class="decl"><span class="nottickedoff">never executed</span> <span class="tickonlytrue">always true</span> <span class="tickonlyfalse">always false</span></span>
+</pre>
+<pre>
+<span class="lineno">    1 </span>module HelVM.HelMA.Automata.Piet.Image where
+<span class="lineno">    2 </span>
+<span class="lineno">    3 </span>import           Data.Array.IArray
+<span class="lineno">    4 </span>import           HelVM.HelMA.Automata.Piet.Coordinates
+<span class="lineno">    5 </span>
+<span class="lineno">    6 </span>-- | Constructors
+<span class="lineno">    7 </span>
+<span class="lineno">    8 </span>newEmptyImage :: Coordinates -&gt; Image a
+<span class="lineno">    9 </span><span class="decl"><span class="nottickedoff">newEmptyImage = newImage []</span></span>
+<span class="lineno">   10 </span>
+<span class="lineno">   11 </span>newImage :: [(Coordinates, a)] -&gt; Coordinates -&gt; Image a
+<span class="lineno">   12 </span><span class="decl"><span class="istickedoff">newImage entries c = array ((0 , 0) , c) entries</span></span>
+<span class="lineno">   13 </span>
+<span class="lineno">   14 </span>imgSetPixel :: Coordinates -&gt; a -&gt; Image a -&gt; Image a
+<span class="lineno">   15 </span><span class="decl"><span class="nottickedoff">imgSetPixel c pixel img = img // [(c, pixel)]</span></span>
+<span class="lineno">   16 </span>
+<span class="lineno">   17 </span>-- | Getters
+<span class="lineno">   18 </span>unsafeLoopUp :: Coordinates -&gt; Image a -&gt; a
+<span class="lineno">   19 </span><span class="decl"><span class="nottickedoff">unsafeLoopUp = flip (!)</span></span>
+<span class="lineno">   20 </span>
+<span class="lineno">   21 </span>border :: Image a -&gt; Coordinates
+<span class="lineno">   22 </span><span class="decl"><span class="nottickedoff">border = snd . bounds</span></span>
+<span class="lineno">   23 </span>
+<span class="lineno">   24 </span>-- | Type
+<span class="lineno">   25 </span>type Image a = Array Coordinates a
+
+</pre>
+</body>
+</html>
diff --git a/docs/reports/helma-test/helma-0.8.4.13-inplace/HelVM.HelMA.Automata.Piet.ListExtra.hs.html b/docs/reports/helma-test/helma-0.8.4.13-inplace/HelVM.HelMA.Automata.Piet.ListExtra.hs.html
@@ -0,0 +1,29 @@
+<html>
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<style type="text/css">
+span.lineno { color: white; background: #aaaaaa; border-right: solid white 12px }
+span.nottickedoff { background: yellow}
+span.istickedoff { background: white }
+span.tickonlyfalse { margin: -1px; border: 1px solid #f20913; background: #f20913 }
+span.tickonlytrue  { margin: -1px; border: 1px solid #60de51; background: #60de51 }
+span.funcount { font-size: small; color: orange; z-index: 2; position: absolute; right: 20 }
+span.decl { font-weight: bold }
+span.spaces    { background: white }
+</style>
+</head>
+<body>
+<pre>
+<span class="decl"><span class="nottickedoff">never executed</span> <span class="tickonlytrue">always true</span> <span class="tickonlyfalse">always false</span></span>
+</pre>
+<pre>
+<span class="lineno">    1 </span>module HelVM.HelMA.Automata.Piet.ListExtra where
+<span class="lineno">    2 </span>
+<span class="lineno">    3 </span>lastUntil :: (a -&gt; Bool) -&gt; [a] -&gt; a
+<span class="lineno">    4 </span><span class="decl"><span class="istickedoff">lastUntil _ []     = <span class="nottickedoff">error &quot;empty list in lastUntil helper (ListExtra)&quot;</span></span>
+<span class="lineno">    5 </span><span class="spaces"></span><span class="istickedoff">lastUntil _ [x]    = <span class="nottickedoff">x</span></span>
+<span class="lineno">    6 </span><span class="spaces"></span><span class="istickedoff">lastUntil p (x:xs) = if <span class="tickonlytrue">p x</span> then x else <span class="nottickedoff">lastUntil p xs</span></span></span>
+
+</pre>
+</body>
+</html>
diff --git a/...eports/helma-test/helma-0.8.4.13-inplace/HelVM.HelMA.Automata.Piet.MonadFailExtra.hs.html b/...eports/helma-test/helma-0.8.4.13-inplace/HelVM.HelMA.Automata.Piet.MonadFailExtra.hs.html
@@ -0,0 +1,28 @@
+<html>
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+<style type="text/css">
+span.lineno { color: white; background: #aaaaaa; border-right: solid white 12px }
+span.nottickedoff { background: yellow}
+span.istickedoff { background: white }
+span.tickonlyfalse { margin: -1px; border: 1px solid #f20913; background: #f20913 }
+span.tickonlytrue  { margin: -1px; border: 1px solid #60de51; background: #60de51 }
+span.funcount { font-size: small; color: orange; z-index: 2; position: absolute; right: 20 }
+span.decl { font-weight: bold }
+span.spaces    { background: white }
+</style>
+</head>
+<body>
+<pre>
+<span class="decl"><span class="nottickedoff">never executed</span> <span class="tickonlytrue">always true</span> <span class="tickonlyfalse">always false</span></span>
+</pre>
+<pre>
+<span class="lineno">    1 </span>module HelVM.HelMA.Automata.Piet.MonadFailExtra where
+<span class="lineno">    2 </span>
+<span class="lineno">    3 </span>eitherToMonadFail :: (Show a, MonadFail m) =&gt; Either a b -&gt; m b
+<span class="lineno">    4 </span><span class="decl"><span class="istickedoff">eitherToMonadFail (Right a) = pure a</span>
+<span class="lineno">    5 </span><span class="spaces"></span><span class="istickedoff">eitherToMonadFail (Left  a) = <span class="nottickedoff">fail $ show a</span></span></span>
+
+</pre>
+</body>
+</html>