Idris2/tests/chez/chez031/expected
2020-09-13 10:10:53 +01:00

28 lines
984 B
Plaintext

The given specifier was not accepted by any backend. Available backends:
chez, racket, node, javascript, gambit
Some backends have additional specifier rules, refer to their documentation.
Specifiers.idr:28:1--34:5
28 | %foreign "scheme,racket:+"
29 | plusRacketFail : Int -> Int -> Int
30 |
31 |
32 | -- We don't actually do any printing this is just to use the specifiers so the
33 | -- failures are exposed.
Main> Loaded file Specifiers.idr
Specifiers> Error: The given specifier was not accepted by any backend. Available backends:
chez, racket, node, javascript, gambit
Some backends have additional specifier rules, refer to their documentation.
Specifiers.idr:28:1--34:5
Specifiers> [exec] Specifiers> Error: The given specifier was not accepted by any backend. Available backends:
chez, racket, node, javascript, gambit
Some backends have additional specifier rules, refer to their documentation.
Specifiers.idr:28:1--34:5
[exec] Specifiers>
Bye for now!