From a1849da175765350e013bdeecfa4e0ad3c066937 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Wed, 27 Mar 2019 15:22:46 -0700 Subject: Autoformat (mostly just to do with the new blank-line-after-end-of-multi-indent-block rule --- lib/core/control_flow.nom | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib/core/control_flow.nom') diff --git a/lib/core/control_flow.nom b/lib/core/control_flow.nom index 4dfe5f8..ca2450b 100644 --- a/lib/core/control_flow.nom +++ b/lib/core/control_flow.nom @@ -218,6 +218,7 @@ test: ..else: $loop = Lua "for _i,\($value as lua identifier) in _ipairs(\($iterable as lua expr)) do" + --- (loop set) --- ### TODO: don't always wrap in block @@ -276,6 +277,7 @@ test: $nums, add $inner if ($inner == 5): stop $outer + assume ($nums == [1, -2, 3, -2, 3, 4, 3, 4, 5]) ### repeat $n times is a shorthand: @@ -454,6 +456,7 @@ test: recurse $ on $2 ..else: $flat, add $ + assume (sorted $flat) == [1, 2, 3, 4, 5, 6] ### Recurion control flow -- cgit v1.2.3