test/c/nonexistent_pragma.sail


1
2
3
4
5
6
7
8
9
10
11
12

default Order dec

$include <prelude.sail>

$not_a_valid_pragma test

val "print_endline" : string -> unit

function main((): unit) -> unit = {
  print_endline("test")
}