Commit 8f6fb4d2 authored by Rinus Plasmeijer's avatar Rinus Plasmeijer
Browse files

*** empty log message ***

parent f5c503fa
......@@ -3,7 +3,7 @@ definition module dynamic_string
import StdDynamic
dynamic_to_string :: !Dynamic -> *{#Char}
string_to_dynamic :: *{#Char} -> Dynamic
string_to_dynamic :: *{#Char} -> .Dynamic
copy_to_string :: !.a -> *{#Char}
copy_from_string :: !*{#Char} -> (.a,!Int)
......@@ -27,7 +27,7 @@ dynamic_to_string :: !Dynamic -> *{#Char}
dynamic_to_string d
= copy_to_string d
string_to_dynamic :: *{#Char} -> Dynamic
string_to_dynamic :: *{#Char} -> .Dynamic
string_to_dynamic s
# (d,_) = copy_from_string s
= d
......
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