format: align-under-arg0 for short arg0s, +2 nest for compound arg0s; sum-type deftype + multi-body defmodule stay multi-line; comments in bindings preserve pair-awareness; arrays start first item on opening line

Author: hellerve

impl/hompair.carp

@@ -17,8 +17,9 @@
   (defn lookup [pair] (fn [i] (Hompair.nth &pair i)))
 
   (sig map
-       (Fn [(Ref (Fn [a] b)) (Ref (Hompair (Size.size 2) a))]
-           (Hompair (Size.size 2) b)))
+       (Fn
+         [(Ref (Fn [a] b)) (Ref (Hompair (Size.size 2) a))]
+         (Hompair (Size.size 2) b)))
   (implements smap map)
   (defn map [f pair]
     (let [first (~f @(Hompair.first pair))

src/hompair.carp

@@ -8,7 +8,7 @@
   ""
   "Hompairs implement the [dimensional interfaces](dimensional.html).")
 (deftype (Hompair s a) [first a
-    second a])
+                        second a])
 (hidden Hompair.init)
 (private Hompair.init)
 
@@ -44,10 +44,10 @@
     "=> 1"
     "```")
   (sig nth
-       (Fn [
-             (Ref (Hompair (Size.size 2) a))
-             (Index (Hompair (Size.size 2) Opaque) Int)]
-           a))
+       (Fn
+         [(Ref (Hompair (Size.size 2) a))
+          (Index (Hompair (Size.size 2) Opaque) Int)]
+         a))
   (defn nth [pair index]
     (if (= 0 (to-int &index)) @(Hompair.first pair) @(Hompair.second pair)))
 
@@ -91,5 +91,6 @@
 
   (implements = ref=)
   (defn ref= [pair other-pair]
-    (and (= @(Hompair.first pair) @(Hompair.first other-pair))
-         (= @(Hompair.second pair) @(Hompair.second other-pair)))))
+    (and
+      (= @(Hompair.first pair) @(Hompair.first other-pair))
+      (= @(Hompair.second pair) @(Hompair.second other-pair)))))

src/vector.carp

@@ -40,8 +40,9 @@
 
   (doc zip "Combines two Vectors using a binary function `f`.")
   (sig zip
-       (Fn [(Ref (Fn [a b] c)) (Ref (Vector n a)) (Ref (Vector n b))]
-           (Vector n c)))
+       (Fn
+         [(Ref (Fn [a b] c)) (Ref (Vector n a)) (Ref (Vector n b))]
+         (Vector n c)))
   (defn zip [f v v1]
     (let [copy-then-apply (fn [a b] (~f @a @b))
           arr (Vector.elements v)
@@ -64,20 +65,21 @@
   (sig last (Fn [(Ref (Vector (Size n) a))] a))
   (defn last [v]
     @(Array.unsafe-nth (Vector.elements v)
-      (to-int (the (Phantom n) (Phantom.init)))))
+                       (to-int (the (Phantom n) (Phantom.init)))))
 
   (doc head "Returns the first element of a Vector.")
   (sig head (Fn [(Ref (Vector (Size n) a))] a))
   (defn head [v]
     @(Array.unsafe-nth (Vector.elements v)
-      (to-int (the (Phantom Zero) (Phantom.init)))))
+                       (to-int (the (Phantom Zero) (Phantom.init)))))
 
   (hidden gen-vec)
   (defndynamic gen-vec [vs acc]
     (if (= 0 (length vs))
       acc
       (Vector.gen-vec (cdr vs)
-        (cons-last (list 'Vector.push (car vs)) (cons-last '(ref) acc)))))
+                      (cons-last (list 'Vector.push (car vs))
+                                 (cons-last '(ref) acc)))))
 
   (doc of "Creates a new Vector from the contents of an Array literal.")
   (defmacro of [values]

test/vector-impl.carp

@@ -14,8 +14,6 @@
     "lookup returns the element at a given index")
   (assert-equal test
     &(Vector.of [(Vector.of [1 3 5]) (Vector.of [2 4 6])])
-    &(Dimensional.transpose &(Vector.of [
-          (Vector.of [1 2])
-          (Vector.of [3 4])
-          (Vector.of [5 6])]))
+    &(Dimensional.transpose
+      &(Vector.of [(Vector.of [1 2]) (Vector.of [3 4]) (Vector.of [5 6])]))
     "transpose swaps the sizes of a Vector of Vectors"))