Add type annotation for last

emacs-elsa · Sep 8, 2018 · de64421 · de64421
1 parent eeb995c
commit de64421
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/elsa-typed-subr.el b/elsa-typed-subr.el
@@ -2,5 +2,6 @@
 (require 'elsa-type-helpers)
 
 (put 'match-string 'elsa-type (elsa-make-type Int -> String? -> String?))
+(put 'last 'elsa-type (elsa-make-type [Mixed] -> Int? -> Cons))
 
 (provide 'elsa-typed-subr)