我正在使用MySQL工作台并尝试创建一个简单的触发器语句:TRIGGER `School_database`.raise_application_error(-20001, 'Faculty salary must be between $25,000 and $85,000');END;
由于某些原因,我在raise_application_error上得到了错误:“语法错误:缺少冒号<
在定义数据类型时,我可以在冒号之前“传递”一些参数。Image_э_ { A B : Set} : (f : A → B) → B → Set where但由于未知的原因,我似乎无法在函数声明中做到这一点。exIm {A B : Set} : {f : A → B}{y : B} → Image f э y → B冒号</em