From 814ca7c7cc53efcc61ed60473d497b14c7595f26 Mon Sep 17 00:00:00 2001
From: Richard Feldman <oss@rtfeldman.com>
Date: Fri, 10 Jul 2020 21:54:58 -0400
Subject: [PATCH] Format some comments

---
 compiler/builtins/src/unique.rs |  9 +++++----
 compiler/can/src/builtins.rs    | 15 +++++++++++++++
 2 files changed, 20 insertions(+), 4 deletions(-)

diff --git a/compiler/builtins/src/unique.rs b/compiler/builtins/src/unique.rs
index 8a83fa1a1c..32e771b8df 100644
--- a/compiler/builtins/src/unique.rs
+++ b/compiler/builtins/src/unique.rs
@@ -550,10 +550,11 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
         )
     });
 
-    // set : Attr (w | u | v) (List (Attr u a))
-    //     , Attr * Int
-    //     , Attr (u | v) a
-    //    -> List a
+    // List.set :
+    //     Attr (w | u | v) (List (Attr u a)),
+    //     Attr * Int,
+    //     Attr (u | v) a
+    //     -> Attr * (List (Attr u  a))
     add_type(Symbol::LIST_SET, {
         let_tvars! { u, v, w, star1, star2, a };
 
diff --git a/compiler/can/src/builtins.rs b/compiler/can/src/builtins.rs
index d0e29f74a7..e3fec949f2 100644
--- a/compiler/can/src/builtins.rs
+++ b/compiler/can/src/builtins.rs
@@ -681,6 +681,11 @@ fn list_len(symbol: Symbol, var_store: &mut VarStore) -> Def {
 }
 
 /// List.get : List elem, Int -> Result elem [ OutOfBounds ]*
+///
+/// List.get :
+///     Attr (* | u) (List (Attr u a)),
+///     Attr * Int
+///     -> Attr * (Result (Attr u a) (Attr * [ OutOfBounds ]*))
 fn list_get(symbol: Symbol, var_store: &mut VarStore) -> Def {
     let arg_list = Symbol::ARG_1;
     let arg_index = Symbol::ARG_2;
@@ -754,6 +759,12 @@ fn list_get(symbol: Symbol, var_store: &mut VarStore) -> Def {
 }
 
 /// List.set : List elem, Int, elem -> List elem
+///
+/// List.set :
+///     Attr (w | u | v) (List (Attr u a)),
+///     Attr * Int,
+///     Attr (u | v) a
+///     -> Attr * (List (Attr u  a))
 fn list_set(symbol: Symbol, var_store: &mut VarStore) -> Def {
     let arg_list = Symbol::ARG_1;
     let arg_index = Symbol::ARG_2;
@@ -1067,6 +1078,10 @@ fn num_div_int(symbol: Symbol, var_store: &mut VarStore) -> Def {
 }
 
 /// List.first : List elem -> Result elem [ ListWasEmpty ]*
+///
+/// List.first :
+///     Attr (* | u) (List (Attr u a)),
+///     -> Attr * (Result (Attr u a) (Attr * [ OutOfBounds ]*))
 fn list_first(symbol: Symbol, var_store: &mut VarStore) -> Def {
     let bool_var = var_store.fresh();
     let list_var = var_store.fresh();