Commit 1353e4ce authored by László Domoszlai's avatar László Domoszlai

turn off dynamic support

git-svn-id: https://svn.cs.ru.nl/repos/iTask-system/trunk@2360 63da3aa8-80fd-4f01-9db8-e6ea747a3da2
parent 012e5e64
......@@ -465,11 +465,11 @@ termCoder (SStrictLetDefinition name body) s a
termCoder _ s a = abort "???"
isdynamic (SName name _) | startsWith "_SystemDynamic." name
// = True
= True
= False
isdynamic (SStrictName name) | startsWith "_SystemDynamic." name
// = True
= True
= False
isdynamic _ = False
......
......@@ -520,11 +520,11 @@ termCoder (SStrictLetDefinition name body) s a
termCoder _ s a = abort "???"
isdynamic (SName name _) | startsWith "_SystemDynamic." name
// = True
= True
= False
isdynamic (SStrictName name) | startsWith "_SystemDynamic." name
// = True
= True
= False
isdynamic _ = False
......
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