Commit 4a0f9045 authored by László Domoszlai's avatar László Domoszlai

change record field names to be a property of the constructor function (easier to check)

git-svn-id: https://svn.cs.ru.nl/repos/clean-sapl/branches/hierarchical@392 cb785ff4-4565-4a15-8565-04c4fcf96d79
parent 5635af47
......@@ -121,7 +121,7 @@ funcCoder (FTCAF name body) s a = encodeCAF name body s a
funcCoder (FTADT name args) s a = foldl (\a t = termCoder t s a) a args
funcCoder (FTRecord name args) s a
# a = a <++ constructorCoder name 0 args s
= a <++ "var " <++ termCoder name s <++ "$f=[" <++ recordFieldCoder args <++ "];"
= a <++ termCoder name s <++ ".$f=[" <++ recordFieldCoder args <++ "];"
// Only real constants can be safely encoded as a simple variable...
encodeCAF :: !SaplVar !SaplTerm !CoderState !StringAppender -> StringAppender
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment