;; Ensure that all current witx definitions in this repository load, parse,
;; roundtrip, and are documentable.

(witx
  (load "../../../../phases/old/snapshot_0/witx/wasi_unstable.witx"))
(witx
  (load "../../../../phases/snapshot/witx/wasi_snapshot_preview1.witx"))

(witx
  (load
    "../../../../phases/ephemeral/witx/wasi_ephemeral_args.witx"
    "../../../../phases/ephemeral/witx/wasi_ephemeral_clock.witx"
    "../../../../phases/ephemeral/witx/wasi_ephemeral_environ.witx"
    "../../../../phases/ephemeral/witx/wasi_ephemeral_fd.witx"
    "../../../../phases/ephemeral/witx/wasi_ephemeral_path.witx"
    "../../../../phases/ephemeral/witx/wasi_ephemeral_poll.witx"
    "../../../../phases/ephemeral/witx/wasi_ephemeral_proc.witx"
    "../../../../phases/ephemeral/witx/wasi_ephemeral_random.witx"
    "../../../../phases/ephemeral/witx/wasi_ephemeral_sched.witx"
    "../../../../phases/ephemeral/witx/wasi_ephemeral_sock.witx"
  )
)
;; should be singularly-loadable as well
(witx
  (load
    "../../../../phases/ephemeral/witx/wasi_ephemeral_fd.witx"))