versions 10.5

Author: damien-mattei

README.md

@@ -1,7 +1,7 @@
 # Scheme-PLUS-for-Racket
 Scheme+ for DrRacket by Damien Mattei.
 
-Install as a package with the [package manager](https://pkgs.racket-lang.org/package/Scheme-PLUS-for-Racket) or from source code.
+Install as a package with the [package manager](https://pkgs.racket-lang.org/package/Scheme-PLUS-for-Racket) (could be a 24 hours delay from github.com to pkgs.racket-lang.org) or from Github source code.
 
 The documentation is here, but is outdated:
 https://github.com/damien-mattei/Scheme-PLUS-for-Racket/blob/gh-pages/README.md
@@ -26,6 +26,12 @@ Again you will have all the information about errors with the true line number d
 Another method is to use the [Makefile](https://github.com/damien-mattei/Scheme-PLUS-for-Racket/blob/main/examples/racket/Makefile) provided (see docs).
 
 
+**Changes of version 10.5:**
+
+Correct some typos about assignment operators.(strangely a line was commented)
+
+Check that infix code is correct before parsing it to prefix.(previously some wrong code could have been truncated by the parser to the most great valid expression)
+
 
 **Changes of version 10.4:**
 

infix-prefix.rkt

@@ -81,7 +81,8 @@
 	(provide infix-prefix-test?
 		 infix?
 		 prefix?
-		 simple-infix-list-syntax?)
+		 simple-infix-list-syntax?
+		 infix-canonical?)
 
 	(require Scheme+/operators
 		 Scheme+/superscript
@@ -235,6 +236,32 @@
 
 
 
+	;; this procedure check that we have a canonical infix expression
+	;; i call 'canonical' an expression such as 3 * 5 + 2
+	;; in contrary an equivalent expression such as this one: - - 3 * 5 + 2 is not 'canonical',etc
+	;; conditions to be 'canonical' will be to have :
+	;; * at least 3 terms in expression
+	;; * odd number of terms
+	;; * operators between terms
+
+	;;{2 * 3 4}
+	;;($nfx$ 2 * 3 4)
+	;;. . ../infix-with-precedence-to-prefix.rkt:452:14: infix-with-precedence-to-prefix.rkt : !*prec-generic-infix-parser : not a canonical infix expression:  '(#<syntax 2> #<syntax *> #<syntax 3> #<syntax 4>)
+	(def (infix-canonical? L)
+	  ;;(display "infix-canonical? : L =")(display L)(newline)	  
+	  (define lgt (length L))
+	  ;;(display "infix-canonical? : lgt =")(display lgt)(newline)
+	  (when (or (< lgt 3)
+		    (not (odd? lgt)))
+	    (return #f))
+	  (def (check-operators? L2)
+	    ;;(display "check-operators? : L2=")(display L2)(newline)   
+	    (when (null? L2)
+	      (return #t))
+	    (if (not (operator-syntax? (car L2)))
+		#f
+		(check-operators? (cddr L2))))
+	  (check-operators? (cdr L)))
 
 
 	;; procedures shared with SRFI 105

infix-with-precedence-to-prefix.rkt

@@ -447,6 +447,9 @@
 	    ;; we can check for expressions like 2<3<=3 here
 	    (when (multiple-in-equalities? deep-terms)
 	      (return (infix->prefix-in-equality deep-terms)))
+
+	    (when (not (infix-canonical? deep-terms))
+	      (error "infix-with-precedence-to-prefix.rkt : !*prec-generic-infix-parser : not a canonical infix expression: " deep-terms))
 
             (pre-check-!*-generic-infix-parser deep-terms creator)))))
 

info.rkt

@@ -11,7 +11,7 @@
 	       "SRFI-105-for-Racket"
 	       "try-catch"))
 (define pkg-desc "Scheme+ for Racket")
-(define version "10.4")
+(define version "10.5")
 (define pkg-authors '(mattei))
 (define scribblings '(("scribblings/scheme-plus.scrbl" ())))
 (define build-deps '("scribble-lib" "racket-doc" "scribble-code-examples" "scribble-doc"))

operators-list.rkt

@@ -64,7 +64,7 @@
 
 
 (define assignment-operator-syntax (append single-variable-assignment-operator-syntax
-					   (list ;;#'<- #'->
+					   (list #'<- #'->
 					         #'← #'→
 					         #':= #'=: 
 					         #'<v #'v>