public-inline-1.exp 153 Bytes
Newer Older
1 2
Warning: you are using the standard library and/or the %inline keyword. We
recommend switching on --infer in order to avoid obscure type error messages.