X-Git-Url: http://git.hcoop.net/jackhill/mal.git/blobdiff_plain/ece70f970306f819b148979c3d17f266c7e08146..fbfe6784d2db983018340e4e1492d8d017029867:/impls/ada.2/types-sequences.adb

diff --git a/impls/ada.2/types-sequences.adb b/impls/ada.2/types-sequences.adb
index 8169d7f1..c2604658 100644
--- a/impls/ada.2/types-sequences.adb
+++ b/impls/ada.2/types-sequences.adb
@@ -208,6 +208,14 @@ package body Types.Sequences is
       end case;
    end Rest;
 
+   function Vec (Args : in T_Array) return T is
+   begin
+      Err.Check (Args'Length = 1
+                   and then Args (Args'First).Kind in Kind_Sequence,
+                 "expects a sequence");
+      return (Kind_Vector, Args (Args'First).Sequence);
+   end Vec;
+
    function Vector (Args : in T_Array) return T
    is
       Ref : constant Sequence_Ptr := Constructor (Args'Length);