witx 0.9.1

Parse and validate witx file format
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

;; 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"))