Commit 68d4bb40 authored by Steffen Michels's avatar Steffen Michels

small improvement in the type of gMakeSharedCopy

git-svn-id: https://svn.cs.ru.nl/repos/iTask-system/trunk@966 63da3aa8-80fd-4f01-9db8-e6ea747a3da2
parent 3b0be312
......@@ -3,7 +3,7 @@ definition module GenCopy
from TSt import :: TSt
import Types
generic gMakeSharedCopy a :: !a !String -> a
generic gMakeSharedCopy a :: !a !(DBid b) -> a
generic gMakeLocalCopy a :: !a !*TSt -> (a,!*TSt)
derive gMakeSharedCopy OBJECT, CONS, PAIR, FIELD, EITHER, UNIT
......
......@@ -3,7 +3,7 @@ implementation module GenCopy
import TSt, StdFunc, StdTuple, DocumentDB, StdMisc
derive bimap (,)
generic gMakeSharedCopy a :: !a !String -> a
generic gMakeSharedCopy a :: !a !(DBid b) -> a
gMakeSharedCopy{|Int|} x _ = x
gMakeSharedCopy{|Real|} x _ = x
gMakeSharedCopy{|Char|} x _ = x
......
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