diff options
| author | Kathy Gray | 2016-03-02 17:04:09 +0000 |
|---|---|---|
| committer | Kathy Gray | 2016-03-02 17:04:31 +0000 |
| commit | 9d6875ba4147e3f52b3251bab77e52df03257aa3 (patch) | |
| tree | 9eb0e06cb82527ea7e20a686a307efa973d2be77 /language/manual.tex | |
| parent | e120d223a007587b1e741b69e0e46bfb4c2ea6c8 (diff) | |
Add new language feature to permit definitions of items of kind Nat, etc as well as items of kind Type.
Syntax for the feature is:
def Nat id = nexp
Note: some useful nexps may not parse properly.
All typedef forms can also be used as def Type ... if desired, but this is not required.
Diffstat (limited to 'language/manual.tex')
| -rw-r--r-- | language/manual.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/manual.tex b/language/manual.tex index 2052ea0e..69fd8e8b 100644 --- a/language/manual.tex +++ b/language/manual.tex @@ -89,7 +89,7 @@ any type. However, the Sail executable interpreter expects that it is simulating a uni-processor machine where all registers are bit vectors. -A vector of length one, such as \emph{a} can read the element of a \emph{a} +A vector of length one, such as \emph{a} can read the element of \emph{a} either with {\tt a} or {\tt a[0]}. \item Have functions named decode and execute to evaluate |