Fix programs with casts and ! annotations

Author: pavpanchekha

src/syntax/syntax-check.rkt

@@ -52,6 +52,12 @@
       [#`(! #,props ... #,body)
        (check-properties* props '() error! deprecated-ops)
        (loop body vars)]
+      [#`(cast #,arg)
+       (loop arg vars)]
+      [#`(cast #,args ...)
+       (error! stx "Invalid `cast` expression with ~a arguments (expects 1)" (length args))
+       (unless (null? args)
+         (loop (first args) vars))]
       [#`(,(? (curry set-member? '(+ * and or))) #,args ...)
        ;; Variary (minimum 0 arguments)
        (for ([arg args])

src/syntax/type-check.rkt

@@ -95,7 +95,8 @@
        (unless (equal? ift-repr iff-repr)
          (error! stx "If statement has different types for if (~a) and else (~a)" ift-repr iff-repr))
        ift-repr]
-      [#`(! #,props ... #,body) (loop body (apply dict-set prop-dict props) ctx)]
+      [#`(! #,props ... #,body)
+       (loop body (apply dict-set prop-dict (map syntax->datum props)) ctx)]
       [#`(,(? (curry hash-has-key? (*functions*)) fname) #,args ...)
        ; TODO: inline functions expect uniform types, this is clearly wrong
        (match-define (list vars prec _) (hash-ref (*functions*) fname))