Scheme+ v8.1

[Damien Mattei <damien.mattei@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1939 bytes --]

hello,

i released a minor update of Scheme+:

https://github.com/damien-mattei/Scheme-PLUS-for-Kawa

mainly add a nex 'if then else' syntax compatible with scheme

examples:

;; > (if #f else 3)
;; 3
;; > (if #t else 3)
;; > (if #t 2 else 3)
;; 2
;; > (if #t then 2 else 3)
;; 2
;; > (if #f then 2 else 3)
;; 3
;; > (if #f then 1 2 else 3 4)
;; 4
;; > (if #t then 1 2 else 3 4)
;; 2
;; > (if #t 1 2 3)
;; 3
;; > (if #t then 1 2 else 3 4 then 5)
;; . . SRFI-105.rkt:181:17: if: then after else near : '(then 5)
;; > (if #t then 1 2 else 3 4 else 5)
;; . . SRFI-105.rkt:181:17: if: 2 else inside near: '(else 5)
;; > (if #t else 1 2 then 3 4)
;; . . SRFI-105.rkt:181:17: if: then after else near : '(then 3 4)
;; > (if #t then 1 2 then 3 4)
;; . . SRFI-105.rkt:181:17: if: 2 then inside near: '(then 3 4)

(define (funct-unify-minterms-set-of-sets-rec-tail sos acc) ;; with
accumulator

  (if (singleton-set? sos) then

      ;; singleton
      (reverse acc)

   else

         ;; at least 2 elements in set of sets
         {mt-set1 <+ (car sos)} ;; minterm set 1
{mt-set2 <+ (cadr sos)} ;; minterm set 2
{mt-set2-to-mt-setn <+ (cdr sos)} ;; minterm sets 2 to n
{weight-mt-set1 <+ (floor-bin-minterm-weight (car mt-set1))} ;; in a set
all minterms have same weight
{weight-mt-set2 <+ (floor-bin-minterm-weight (car mt-set2))}
{delta-weight <+ {weight-mt-set2 - weight-mt-set1}}

(if {delta-weight = 1} then ;; if minterms set are neighbours

    {unified-mt-set1-and-mt-set2 <+
 (funct-unify-minterms-set-1-unit-future mt-set1 mt-set2)}

    (if (null? unified-mt-set1-and-mt-set2)
(funct-unify-minterms-set-of-sets-rec-tail mt-set2-to-mt-setn acc) ;; the
result will be the continuation with sets from 2 to n
(funct-unify-minterms-set-of-sets-rec-tail mt-set2-to-mt-setn (insert
unified-mt-set1-and-mt-set2 acc))) ;; end &
 else

    (funct-unify-minterms-set-of-sets-rec-tail mt-set2-to-mt-setn acc))))
;; continue with sets from 2 to n