From efeb518dd73759390a3ee8543757470d9430f92a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Erik=20Sved=C3=A4ng?= <erik.svedang@gmail.com>
Date: Tue, 5 Sep 2017 13:55:43 +0200
Subject: [PATCH] Whitespace and comments.

---
 src/Deftype.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Deftype.hs b/src/Deftype.hs
index 1fe744a4..7f687669 100644
--- a/src/Deftype.hs
+++ b/src/Deftype.hs
@@ -244,8 +244,9 @@ memberDeletion env typeEnv (memberName, memberType)
             concretizedPath = SymPath pathStrings (name ++ suffix)
         in  "    " ++ pathToC concretizedPath ++ "(p." ++ memberName ++ ");"
       _ -> "    /* Can't find a single delete-function for member '" ++ memberName ++ "' */"
-  | otherwise   = "    /* Ignore non-managed member '" ++ memberName ++ "' */"
+  | otherwise = "    /* Ignore non-managed member '" ++ memberName ++ "' */"
 
+-- | The template for the 'copy' function of a deftype.
 templateCopy :: Env -> Env -> [(String, Ty)] -> Template
 templateCopy typeEnv env members =
   Template
@@ -264,6 +265,7 @@ memberTypeToCopyFunctionType :: Ty -> Ty
 memberTypeToCopyFunctionType memberType =
   (FuncTy [(RefTy memberType)] memberType)  
 
+-- | TODO: Should return an Either since this can fail! Also, share code with memberDeletion
 memberCopy :: Env -> Env -> (String, Ty) -> String
 memberCopy env typeEnv (memberName, memberType)
   | isManaged typeEnv memberType =