1 |
(* |
(* |
2 |
* SML source skeletons. |
* SML source skeletons. |
|
* (This has been vastly streamlined and simplified.) |
|
3 |
* |
* |
4 |
* Copyright (c) 1999 by Bell Laboratories, Lucent Technologies |
* Copyright (c) 1999 by Bell Laboratories, Lucent Technologies |
5 |
|
* |
6 |
|
* The idea of skeletons is taken from the original SC (where they were |
7 |
|
* called "decl"s after one of the datatypes involved). |
8 |
|
* The new definitions used here are a lot simpler than the original ones; |
9 |
|
* they allow for a more succinct dependency analysis, and are easier to |
10 |
|
* pickle/unpickle. Moreover, the ast->skeleton converter has been made |
11 |
|
* smarter -- resulting in smaller skeletons. |
12 |
|
* |
13 |
|
* author: Matthias Blume (blume@cs.princeton.edu) |
14 |
|
* |
15 |
|
* The copyright notices of the earlier versions are: |
16 |
* Copyright (c) 1995 by AT&T Bell Laboratories |
* Copyright (c) 1995 by AT&T Bell Laboratories |
17 |
* Copyright (c) 1993 by Carnegie Mellon University, |
* Copyright (c) 1993 by Carnegie Mellon University, |
18 |
* School of Computer Science |
* School of Computer Science |
19 |
* contact: Gene Rollins (rollins+@cs.cmu.edu) |
* contact: Gene Rollins (rollins+@cs.cmu.edu) |
|
* |
|
|
* contact: Matthias Blume (blume@cs.princeton.edu) |
|
20 |
*) |
*) |
21 |
structure Skeleton = struct |
structure Skeleton = struct |
22 |
|
|