From ad2fe21345db9df01eb376e5d006caeed0cd961b Mon Sep 17 00:00:00 2001 From: ven Date: Tue, 20 Feb 2024 11:23:10 +0100 Subject: [PATCH] Remove mention of defstar's -> syntax --- docs/language-extensions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/language-extensions.md b/docs/language-extensions.md index 692ed94..1e4081e 100644 --- a/docs/language-extensions.md +++ b/docs/language-extensions.md @@ -494,7 +494,7 @@ Defstar can add them automatically if `defstar:*check-argument-types-explicitly? In theory, such declarations don't guarantee that Lisp will do type checking but in practice the implementations, and in particular SBCL, perform type checking. -We use the [defstar](https://github.com/lisp-maintainers/defstar) library. Its README has many more examples, more features (adding assertions, `:pre` and `:post` clauses) and even an alternative notation (`(defun* (foo -> integer) …)`). +We use the [defstar](https://github.com/lisp-maintainers/defstar) library. Its README has many more examples and even more features (adding assertions, `:pre` and `:post` clauses). > Note: we are not talking thorough ML-like type checking here (maybe the [Coalton](https://github.com/stylewarning/coalton) library will bring it to Common Lisp). But in practice, the compiler warnings and errors are helpful during development, "good enough", and SBCL keeps improving in that regard.