6.826 SPEC Development Tools

Back to 6.826 Home Page

Description

These tools consist of a simple Emacs mode that syntactically highlights your SPEC code, as well as a command-line parser that checks the syntax of your SPEC code. To use these tools on Linux/x86 and Sun machines:

In ~/.environment add the following line:
```
add 6.826
```

In ~/.emacs, add the following lines:

(autoload 'spec-mode "spec-mode" nil t)
   (setq auto-mode-alist
      (append (list (cons "\\.spec$" 'spec-mode))
              auto-mode-alist))
(setq load-path
      (cons "/afs/athena.mit.edu/course/6/6.826/emacslisp"
            load-path))

Edit your SPEC files with Emacs and type
```
spec filename.spec
```
to parse your SPEC code.

Notes

You need an END after all SPEC code fragments (modules, procedures, and/or functions).

SPEC Grammar

The grammar for SPEC has changed slightly:

The production
```
type ::= aType -> type raises
```
has been changed to
```
type ::= ( aType -> type raises )
```
to resolve an ambiguity in type declarations.

Comments, questions, and bug reports to: jamieson@mit.edu

Last modified: Fri Mar 31 14:53:55 EST 2000