diff options
| author | Kathy Gray | 2014-02-28 11:47:41 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-02-28 11:47:41 +0000 |
| commit | 98231d112693ef6815e79a6aba3ba0a5b7f027a7 (patch) | |
| tree | 4d825cc408f1a00fa9191b672ba8659763e1f8db /language/l2.lem | |
| parent | fef22f2f0f0f0e821b68f3f917e48c97a974a511 (diff) | |
Correct bug in parsing and handling a['a:'b] types
Diffstat (limited to 'language/l2.lem')
| -rw-r--r-- | language/l2.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2.lem b/language/l2.lem index 30027846..4ba01310 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -55,6 +55,7 @@ type nexp_aux = (* expression of kind Nat, for vector sizes and origins *) | Nexp_times of nexp * nexp (* product *) | Nexp_sum of nexp * nexp (* sum *) | Nexp_exp of nexp (* exponential *) + | Nexp_neg of nexp (* For internal use. Not M as a dataconstructor is required *) and nexp = | Nexp_aux of nexp_aux * l |