/usr/lib/kaya/imports/System.ki is in kaya 0.4.4-6.2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 | %except Builtins::InternalError(Int);
%except Builtins::Project_From_Non_Union();
%except Builtins::Lookup_From_Non_Array();
%except Builtins::Negative_Array_Index();
%except Builtins::Wrong_Constructor();
%except Builtins::Getting_Tag_From_Non_Union();
%except Builtins::Invalid_Marshalling_ID();
%except Builtins::Invalid_Function_Table_Hash();
%except Builtins::Invalid_Value();
%except Builtins::Not_Implemented();
%except Builtins::Invalid_Circular_Structure();
%except Builtins::Cant_Marshal_Exceptions();
%except Builtins::Cant_Reflect_Exceptions();
%except Builtins::Missing_Case();
%except Builtins::Pattern_Matching_Assignment_Failure();
%except Builtins::Unguarded_Guard();
%except Builtins::Divide_By_Zero();
%except Builtins::Loop_Return(a);
%except Builtins::Loop_VoidReturn();
%except Builtins::IllegalIndex();
%except Builtins::NoNullsInStrings();
%extinline 5 pure Bool Builtins::inverse(Bool val){ return (!val); };
%extinline 5 pure a Builtins::identity(a val){ return val; };
%extern 5 String Builtins::createString(Int);
%extinline 5 Float Builtins::abs(Float x){ return (if ((x<0.0)) (-x) else x); };
%extinline 5 Int Builtins::abs(Int x){ return (if ((x<0)) (-x) else x); };
%extern 5 Int Builtins::dorand();
%extern 5 Int Builtins::rand();
%extern 5 Void Builtins::srand(Int);
%extern 5 Void Builtins::swap(a,a);
%extern 5 Bool Builtins::identical(a,a);
%extern 5 Bool Builtins::null(Ptr);
%extern 5 Int Builtins::fnid(Void(a));
%extern 5 Int Builtins::strAlloc(String);
%extern 5 Void Builtins::exceptionBacktrace(Exception);
%extern 5 String Builtins::exceptionMessage(Exception);
%extinline 5 pure Ptr Builtins::getVM(){ return %VM; };
%extern 5 anything Builtins::subvert(something);
%extern 5 any Builtins::copy(any);
%extern 5 Int Builtins::hash(any);
%extern 5 Bool Builtins::equal(any,any);
%extern 5 Int Builtins::compare(any,any);
%extern 5 any Builtins::unmarshal(String,Int);
%extern 5 String Builtins::marshal(any,Int);
%extern 5 Void Builtins::translate(String,Char(Char));
%extern 5 Void Builtins::setIndex(String,Char,Int);
%extern 5 Char Builtins::getIndex(String,Int);
%extern 5 Int Builtins::byteLength(String);
%extinline 5 pure Int Builtins::length(String s){ return (%length(s)); };
%extern 5 Int Builtins::strHash(String);
%extern 5 Void Builtins::exit(Int);
%extern 5 Bool Builtins::runTimeChecking();
%extern 5 Int Builtins::doStrHash(String,Int);
%extern 5 str Builtins::doCreateString(Ptr,Int);
%extern 5 Int Builtins::doStrAlloc(str);
%extern 5 Void Builtins::except_dump(exc);
%extern 5 pure String Builtins::except_msg(exc);
%extern 5 pure Int Builtins::except_code(exc);
%extern 5 Int Builtins::funtableHash();
%extern 5 pure Int Builtins::doGetFnID(fn);
%extern 5 pure Bool Builtins::isIdentical(a,a);
%extern 5 pure Bool Builtins::isNull(Ptr);
%extern 5 pure String Builtins::getAddr(a);
%extern 5 Bool Builtins::isInitialised(a);
%extern 5 pure a Builtins::unsafe_id(b);
%extern 5 any Builtins::doCopy(Ptr,any);
%extern 5 Void Builtins::doSetIndex(String,Char,Int);
%extern 5 pure Char Builtins::doGetIndex(String,Int);
%extern 5 pure Bool Builtins::doEqual(Ptr,a,a);
%extern 5 pure Int Builtins::doCompare(Ptr,a,a);
%extern 5 pure any Builtins::doUnmarshal(Ptr,String,Int);
%extern 5 pure String Builtins::doMarshal(Ptr,a,Int);
%extern 5 pure Int Builtins::doHash(a);
%extern 5 Int Builtins::memUsage(a);
%extern 5 pure Int Builtins::doByteLength(String,Int);
%extern 5 pure Bool Builtins::UTF8(String);
%extern 5 pure Int Builtins::size([a]);
%extern 5 pure %startup Void Builtins::__init();
%imported "Builtins";
%extern 5 pure %startup Void Tuples::__init();
%imported "Tuples";
%except Array::OutOfBounds();
%except Array::ZeroStep();
%extern 5 [a] Array::take(Int,[a]);
%extern 5 Void Array::nub([a],Bool(a, a) = equal);
%extern 5 pure Bool Array::elem(a,[a],Bool(a, a) = equal);
%extern 5 Void Array::addAt([a],a,Int);
%extern 5 Void Array::removeAt([a],Int);
%extern 5 [a] Array::remove([a],Int,Int);
%extern 5 [a] Array::subarray([a],Int,Int);
%extern 5 Void Array::unshift(a,[a]);
%extern 5 a Array::shift([a]);
%extern 5 Void Array::pop([a]);
%extern 5 a Array::top([a]);
%extern 5 Void Array::push([a],a);
%extern 5 [a] Array::filter(Bool(a),[a]);
%extern 5 b Array::fold(b(a, b),[a],b);
%extern 5 [Tuples::Pair<a, b> ] Array::zip([a],[b]);
%extern 5 [c] Array::zipWith(c(a, b),[a],[b]);
%extern 5 [b] Array::map(b(a),[a]);
%extern 5 pure Bool Array::all(Bool(a),[a]);
%extern 5 pure Bool Array::any(Bool(a),[a]);
%extern 5 [a] Array::intersperse(a,[a]);
%extern 5 [a] Array::join([[a]]);
%extern 5 Void Array::concat([a],[a]);
%extern 5 Void Array::shuffle([a]);
%extern 5 [a] Array::sorted([a],Int(a, a) = compare);
%extern 5 Void Array::sort([a],Int(a, a) = compare);
%extern 5 [Int] Array::range(Int,Int,Int = 1);
%extern 5 Void Array::reverse([a]);
%extern 5 [a] Array::createArray(Int);
%extern 5 [a] Array::docreateArray(Ptr,Int);
%extern 5 Void Array::unshiftArray(a,[a]);
%extern 5 a Array::shiftArray([a]);
%extern 5 Void Array::shortenArray([a]);
%extern 5 Void Array::quicksort(Ptr,[a],Int(a, a));
%extern 5 Void Array::resize([a],Int);
%extern 5 [a] Array::doReverse([a]);
%extern 5 pure %startup Void Array::__init();
%imported "Array";
%extern 5 public String System::progName();
%extern 5 public Void System::microSleep(Int);
%extern 5 public Void System::sleep(Int);
%extern 5 public String System::getCwd();
%extern 5 public Int System::getPID();
%extern 5 public Void System::chdir(String);
%extern 5 public String System::getEnv(String);
%extern 5 public [String] System::getArgs();
%extern 5 public Void System::_exit(Int);
%extern 5 pure %startup Void System::__init();
|