Stephen Chang issues

Results 69 issues of


                                            Stephen Chang

allow arbitrary number of tyenvs to the left of turnstile

relevant: https://github.com/stchang/macrotypes/commit/153d1ab0152ff8f0d15cadf89ce7baea5c5d53cb

replace `expose` in fsub with `current-var-assign` (or `current-tyvar-assign`?)

`define-typed-syntax` should error if rule has neither <= input or => conclusion

With this lang: ```racket ;; file no-arrow-lang.rkt #lang turnstile/quicklang (provide void Int) (define-base-type Int) (define-typed-syntax (void) ≫ -------- [⊢ (void-)]) ``` this program produces no errors: ```racket #lang s-exp "no-arrow-lang.rkt"...

should non-present property error for left-arrow rules?

For usability, adding this error should probably be accompanied with way to specify custom left-arrow default behavior for non-types.

separate type environment from runtime binding

enhancement

document gen:queue and queue-lib

docs

graph only allows one self loop

Because the adjacency "list" representation uses a set instead of a list, only one self loop is currently allowed per vertex.

add eq and eqv graphs

enhancement

task 2 overflow?

Something strange happens when celsius box has a large value. For example, type in 100000000000000000000000 (1 followed by 23 zeros). After typing the 23rd zero, the value in the text...

many functions in `racket/function` don't work

`curry` and functions that use it (`disjoin`, etc) fail with error: ``` kw.rkt.js:1 Uncaught TypeError: M0.__rjs_quoted__.procedure_reduce_arity_mask is not a function at do_procedure_reduce_keyword_arity (kw.rkt.js:1:31840) at kw.rkt.js:1:43736 at cl6692 (kw.rkt.js:1:43965) at kw.rkt.js:1:44375...