# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1536746243 -3600
# Node ID df4faaa2d36f9b3ed0a0dde54b4292df8e40be32
# Parent  f7e8b865873fe218877736f2394899e0c04b8c74
scansion.console: Support for indentation in lines() helper

diff -r f7e8b865873f -r df4faaa2d36f scansion/console.lua
--- a/scansion/console.lua	Wed Sep 12 10:56:51 2018 +0100
+++ b/scansion/console.lua	Wed Sep 12 10:57:23 2018 +0100
@@ -1,7 +1,7 @@
 local pretty = require "scansion.pretty".new({});
 
-local function lines(l)
-	return table.concat(l, "\n");
+local function lines(l, indent)
+	return table.concat(l, "\n"..string.rep(" ", indent or 0));
 end
 
 local handlers = {