Fix for issue #53: record updates need dict copy

src/CodeGen/IL.hs

@@ -180,7 +180,7 @@ moduleToIL (Module _ coms mn _ imps _ foreigns decls) project =
     updates <- mapM (sndM valueToIL) ps
     obj' <- freshName'
     let objVar = AST.Var Nothing obj'
-        copy = AST.VariableIntroduction Nothing obj' (Just $ AST.App Nothing (AST.StringLiteral Nothing (mkString dictType)) [obj])
+        copy = AST.VariableIntroduction Nothing obj' (Just $ copyDict obj)
         assign (k, v) = AST.Assignment Nothing (accessorString k objVar) v
         sts = copy : (assign <$> updates) ++ [AST.Return Nothing objVar]
     return $ AST.App Nothing (AST.Function Nothing Nothing [] (AST.Block Nothing sts)) []
@@ -359,3 +359,6 @@ emptyAnn = (SourceSpan "" (SourcePos 0 0) (SourcePos 0 0), [], Nothing, Nothing)
 arrayLength :: AST -> AST
 arrayLength a = AST.App Nothing (AST.Var Nothing arrayLengthFn) [a]
 -- arrayLength a = AST.Var Nothing (arrayLengthFn <> "(" <> prettyPrintIL1 a <> ")")
+
+copyDict :: AST -> AST
+copyDict a = AST.App Nothing (AST.Var Nothing copyDictFn) [a]

src/CodeGen/IL/Common.hs

@@ -76,6 +76,7 @@ nameIsILBuiltIn name =
     [ "Any"
     , "Apply"
     , "Contains"
+    , "CopyDict"
     , "Dict"
     , "EffFn"
     , "Fn"
@@ -188,6 +189,9 @@ arrayLengthFn = "Length"
 indexFn :: Text
 indexFn = "Index"
 
+copyDictFn :: Text
+copyDictFn = "CopyDict"
+
 freshName' :: MonadSupply m => m Text
 freshName' = do
     name <- freshName