This is an automated email from the git hooks/post-receive script. wingo pushed a commit to branch master in repository guile.
The following commit(s) were added to refs/heads/master by this push: new 7dc90a1 Add type checkers for lsh/immediate and rsh/immediate 7dc90a1 is described below commit 7dc90a17e03045c7cd8894b14b027b845b68aa4f Author: Andy Wingo <wi...@pobox.com> AuthorDate: Wed Feb 12 15:57:12 2020 +0100 Add type checkers for lsh/immediate and rsh/immediate * module/language/cps/types.scm (lsh/immediate, rsh/immediate): New type checkers. --- module/language/cps/types.scm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/module/language/cps/types.scm b/module/language/cps/types.scm index 6447a25..88301ba 100644 --- a/module/language/cps/types.scm +++ b/module/language/cps/types.scm @@ -1,5 +1,5 @@ ;;; Type analysis on CPS -;;; Copyright (C) 2014-2019 Free Software Foundation, Inc. +;;; Copyright (C) 2014-2020 Free Software Foundation, Inc. ;;; ;;; This library is free software: you can redistribute it and/or modify ;;; it under the terms of the GNU Lesser General Public License as @@ -1383,6 +1383,7 @@ minimum, and maximum." (&min/0 count) (&max/u64 count)))) (define-exact-integer! result min max))) +(define-simple-type-checker (lsh/immediate &exact-integer)) (define-type-inferrer/param (lsh/immediate count val result) (restrict! val &exact-integer -inf.0 +inf.0) (let-values (((min max) (compute-ash-range (&min val) @@ -1396,6 +1397,7 @@ minimum, and maximum." (- (&min/0 count)) (- (&max/u64 count))))) (define-exact-integer! result min max))) +(define-simple-type-checker (rsh/immediate &exact-integer)) (define-type-inferrer/param (rsh/immediate count val result) (restrict! val &exact-integer -inf.0 +inf.0) (let-values (((min max) (compute-ash-range (&min val)