Question

main0功能的类型是什么？

我正在编写gtk3库。但是g_application_run()函数需要argv。当然，ATS语言可以在argv函数上使用main0。但是什么类型？

Answer 1

以下代码在prelude / basics_dyn.dats中声明：

CREATE OR REPLACE TRIGGER totalsal
    BEFORE INSERT OR UPDATE
    ON saltable
    FOR EACH ROW
DECLARE
    CURSOR sumsalary  IS
        SELECT SUM(sal) AS sum_salary FROM saltable;

    total                                   NUMBER;
BEGIN
    OPEN sumsalary;

    FETCH sumsalary INTO total;

    DBMS_OUTPUT.PUT_LINE('value is  ');
    DBMS_OUTPUT.PUT_LINE(total);

    CLOSE sumsalary;

    IF (total < 1000)
    THEN
        DBMS_OUTPUT.PUT_LINE('in range');
        :new.sal    := :new.sal;
    ELSE
        DBMS_OUTPUT.PUT_LINE('exceed limit');
    END IF;
END;
/

正如您所看到的，// symintr main0 // fun main_void_0 ((*void*)): void = "ext#mainats_void_0" fun main_argc_argv_0 {n:int | n >= 1} (argc: int n, argv: !argv(n)): void = "ext#mainats_argc_argv_0" // overload main0 with main_void_0 overload main0 with main_argc_argv_0 //和main0重叠了main_void_0。类型main_argc_argv_0主要用于大小为argv(n)且以空值结尾的线性字符串数组。请注意，空值不计入大小的一部分。

`main0`函数的类型是什么？

1 个答案: