Syntacticlosure

refinement type runs into an endless loop

1

### What version of Racket are you using? 6.12 ### What program did you run? ``` #lang typed/racket #:with-refinements (define-type test (Refine [a : (Pairof Integer Integer)] (

Error: Could not authenticate you. code : 500

3


How to type double angle quotation marks in Windows/Linux?

3

I can't easily type double-angle quotation marks in Win/Linux. I tried \ll and \gg in Drracket, but they are different symbols. M-0171 and M-0187 work in Windows but don't work...

strange behavior of define-match-expander

5

when i run this code below , it returns 2 as i expect ``` (define x sub1) (define-match-expander succ (lambda (stx) (syntax-case stx () [(_ v) #'(app (let ([v 100])...

Failed to get the argument

1

There is a mistake in example. When I try to write an identity function f(x)=x such as this : ``` (define test-obj (assemble (prolog) (getarg r2 (arg 0)) (mov r0...