Verified Commit c0895b83 authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl Committed by Camil Staps

add strictness annotations to from_then functions for strict and unboxed lists

parent 1d6bec7f
......@@ -35,12 +35,12 @@ _from_to_o :: !a !a -> .(l a) | Enum a & List l a
l=[#!],a=Int;
};
_from_then_s :: a a -> .[!a] | Enum a special { a=Int };
_from_then_ts :: a a -> .[a!] | Enum a special { a=Int };
_from_then_sts :: a a -> .[!a!] | Enum a special { a=Int };
_from_then_u :: a a -> .[#a] | Enum,UList a special { a=Int };
_from_then_uts :: a a -> .[#a!] | Enum,UTSList a special { a=Int };
_from_then_o :: a a -> .(l a) | Enum a & List l a
_from_then_s :: !a a -> .[!a] | Enum a special { a=Int };
_from_then_ts :: !a !a -> .[a!] | Enum a special { a=Int };
_from_then_sts :: !a !a -> .[!a!] | Enum a special { a=Int };
_from_then_u :: !a a -> .[#a] | Enum,UList a special { a=Int };
_from_then_uts :: !a !a -> .[#a!] | Enum,UTSList a special { a=Int };
_from_then_o :: a a -> .(l a) | Enum a & List l a
special {
l=[],a=Int;
l=[!],a=Int;
......
......@@ -65,19 +65,19 @@ _from_to_o n e
_from_by n s = [|n : _from_by (n+s) s];
_from_then_s :: a a -> .[!a] | Enum a;
_from_then_s :: !a a -> .[!a] | Enum a;
_from_then_s n1 n2 = [|n1 : _from_by n2 (n2-n1)];
_from_then_ts :: a a -> .[a!] | Enum a;
_from_then_ts :: !a !a -> .[a!] | Enum a;
_from_then_ts n1 n2 = [|n1 : _from_by n2 (n2-n1)];
_from_then_sts :: a a -> .[!a!] | Enum a;
_from_then_sts :: !a !a -> .[!a!] | Enum a;
_from_then_sts n1 n2 = [|n1 : _from_by n2 (n2-n1)];
_from_then_u :: a a -> .[#a] | Enum,UList a;
_from_then_u :: !a a -> .[#a] | Enum,UList a;
_from_then_u n1 n2 = [|n1 : _from_by n2 (n2-n1)];
_from_then_uts :: a a -> .[#a!] | Enum,UTSList a;
_from_then_uts :: !a !a -> .[#a!] | Enum,UTSList a;
_from_then_uts n1 n2 = [|n1 : _from_by n2 (n2-n1)];
_from_then_o :: a a -> .(l a) | Enum a & List l a;
......
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