diff options
| -rw-r--r-- | src/ChangeLog | 2 | ||||
| -rw-r--r-- | src/input/pat.input.pamphlet | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 82f63b6b..80a6cde8 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,7 @@ 2008-07-15 Gabriel Dos Reis <gdr@cs.tamu.edu> + * input/pat.input.pamphlet (square): Define square an operatpr. + Fix SF/2015650 * interp/compiler.boot (coerceExtraHard): Forms with type Category are categories. diff --git a/src/input/pat.input.pamphlet b/src/input/pat.input.pamphlet index 2f6535ba..53ff68ca 100644 --- a/src/input/pat.input.pamphlet +++ b/src/input/pat.input.pamphlet @@ -14,6 +14,7 @@ -- Input for page PatternMatching )clear all +square := operator 'square rule square(x) == x*x fact(n | n > 0) == n * fact(n - 1) fact(0) == 1 |