Whitespace and comments.

This commit is contained in:
Erik Svedäng 2017-09-05 13:55:43 +02:00
parent 2ec9b947fc
commit efeb518dd7

View File

@ -246,6 +246,7 @@ memberDeletion env typeEnv (memberName, memberType)
_ -> " /* Can't find a single delete-function for 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 =