diff options
Diffstat (limited to 'src/interp/i-spec2.boot')
| -rw-r--r-- | src/interp/i-spec2.boot | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/interp/i-spec2.boot b/src/interp/i-spec2.boot index 10776a5f..e843a18e 100644 --- a/src/interp/i-spec2.boot +++ b/src/interp/i-spec2.boot @@ -1161,6 +1161,13 @@ copyHack(env) == CONS(CAR p,[(EQCAR(q,'localModemap) => q; copy q) for q in CDR p]) [[d]] + +--% Case patterns + +up%Match t == + sorry '"case pattern" + + --% importing domains up%Import t == t isnt [.,:types] => nil |