annotate general/funutils/tail_return.m @ 8:f0a3d7d7a0e3

Renamed cat_sep function to catsep
author samer
date Mon, 14 Jan 2013 14:54:10 +0000
parents e44f49929e56
children fbc0540a9208
rev   line source
samer@4 1 % tail_return - Package return values for tail_feval
samer@4 2 %
samer@4 3 % tail_return :: A{1:N} -> thunk(A{1:N}).
samer@4 4 %
samer@4 5 % thunk(B{1:M}) ::=
samer@4 6 % exists C{1:L} . cell { C{1:L}->B{1:M}, cell { C{1:L} } }
samer@4 7 % | cell { {0}, cell { B{1:L} } }
samer@4 8 % | unit -> B{1:M}.
samer@4 9 function ret=tail_return(varargin), ret={0,varargin}; end