guile-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Guile-commits] branch master updated: Add type checkers for lsh/immedia


From: Andy Wingo
Subject: [Guile-commits] branch master updated: Add type checkers for lsh/immediate and rsh/immediate
Date: Wed, 12 Feb 2020 09:57:40 -0500

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 <address@hidden>
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)



reply via email to

[Prev in Thread] Current Thread [Next in Thread]