diff options
| author | Yu Hao <yhao016@ucr.edu> | 2019-04-05 16:46:14 -0700 |
|---|---|---|
| committer | Greg Steuck <blackgnezdo@gmail.com> | 2019-04-05 16:46:14 -0700 |
| commit | c34fde03ec2b778c7cb3f4463dac2e6b9c7934c9 (patch) | |
| tree | 49751b26f58ef9e6a723bfd4ee9a1d9a638050e2 | |
| parent | 2fbd3aa9043e84cdce8328e5084a1fecc6ec5be3 (diff) | |
Fixed a tiny typo (#1114)
| -rw-r--r-- | docs/syscall_descriptions_syntax.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/syscall_descriptions_syntax.md b/docs/syscall_descriptions_syntax.md index 9578656d7..2fb245402 100644 --- a/docs/syscall_descriptions_syntax.md +++ b/docs/syscall_descriptions_syntax.md @@ -142,7 +142,7 @@ Resources represent values that need to be passed from output of one syscall to "resource" identifier "[" underlying_type "]" [ ":" const ("," const)* ] ``` -`underlying_type` is either one of `int8`, `int16`, `int32`, `int64`, `intptr` or another resource (which models inheritance, for example, a socket is a subype of fd). The optional set of constants represent resource special values, for example, `0xffffffffffffffff` (-1) for "no fd", or `AT_FDCWD` for "the current dir". Special values are used once in a while as resource values. If no special values specified, special value of `0` is used. Resources can then be used as types, for example: +`underlying_type` is either one of `int8`, `int16`, `int32`, `int64`, `intptr` or another resource (which models inheritance, for example, a socket is a subtype of fd). The optional set of constants represent resource special values, for example, `0xffffffffffffffff` (-1) for "no fd", or `AT_FDCWD` for "the current dir". Special values are used once in a while as resource values. If no special values specified, special value of `0` is used. Resources can then be used as types, for example: ``` resource fd[int32]: 0xffffffffffffffff, AT_FDCWD, 1000000 |