Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / stchang/macrotypes issues and pull requests

#115 - doc: further reading

Issue - State: open - Opened by bennn over 1 year ago

#113 - `trunstile+/lang/reader` not found?

Issue - State: closed - Opened by dannypsnl about 3 years ago - 1 comment

#112 - Could this be made available via racket-templates?

Issue - State: open - Opened by spdegabrielle about 3 years ago

#111 - Source/Sink Ref Types + Intersection Types

Pull Request - State: open - Opened by gamburgm almost 4 years ago

#110 - Source/Sink Ref Types + Intersection Types

Pull Request - State: closed - Opened by gamburgm almost 4 years ago

#109 - Misc. Changes

Pull Request - State: closed - Opened by gamburgm almost 4 years ago

#108 - First stage of Lists

Pull Request - State: closed - Opened by drsooch almost 4 years ago - 4 comments
Labels: cs478

#107 - Basic Typed Match

Pull Request - State: closed - Opened by gamburgm almost 4 years ago
Labels: cs478

#106 - Trying Sum Types

Pull Request - State: closed - Opened by gamburgm almost 4 years ago - 1 comment
Labels: cs478

#105 - STLC + app, booleans, unit, begin

Pull Request - State: closed - Opened by gamburgm almost 4 years ago - 4 comments
Labels: cs478

#104 - Wip typedefs

Pull Request - State: closed - Opened by howell over 4 years ago

#103 - turnstile/typedef: dont use eval to get ty/internal dict

Pull Request - State: closed - Opened by stchang over 4 years ago - 1 comment

#102 - turnstile/typedef: dont use eval to get ty/internal dict

Pull Request - State: closed - Opened by stchang over 4 years ago - 1 comment

#101 - fix parens in error message

Pull Request - State: closed - Opened by howell over 4 years ago - 1 comment

#99 - define-typed-variable doesnt use current-var-assign

Issue - State: closed - Opened by stchang almost 5 years ago - 1 comment

#98 - add license

Issue - State: closed - Opened by stchang about 5 years ago

#97 - Fix source location bug

Pull Request - State: closed - Opened by wilbowma over 5 years ago - 3 comments

#96 - Feature request: switch from infer to check when given "concrete" infer pattern

Issue - State: open - Opened by wilbowma over 5 years ago - 2 comments
Labels: enhancement

#95 - Telescope pattern from paper not working in turnstile-core

Issue - State: closed - Opened by wilbowma over 5 years ago - 8 comments

#94 - Expose new define-internal-*-type macros

Pull Request - State: closed - Opened by wilbowma over 5 years ago - 4 comments

#93 - Correct version number

Pull Request - State: closed - Opened by wilbowma over 5 years ago - 3 comments

#92 - Fix bug in unexpand when reflect-name doesn't exist

Pull Request - State: closed - Opened by wilbowma over 5 years ago - 1 comment

#91 - It's useful to call typeof when not syntax-transforming?.

Pull Request - State: closed - Opened by wilbowma over 5 years ago - 1 comment

#90 - Add setter-stx argument to make-variable-like-transformer

Issue - State: closed - Opened by stchang over 5 years ago - 1 comment

#89 - Fix DrRacket binding arrows on fresh vars

Pull Request - State: closed - Opened by wilbowma over 5 years ago - 4 comments

#88 - Fix a few source location bugs

Pull Request - State: closed - Opened by wilbowma over 5 years ago - 3 comments

#87 - cherry-pick no-unicode support

Pull Request - State: closed - Opened by wilbowma over 5 years ago - 6 comments

#86 - Improve documentation for `type-error` form

Issue - State: open - Opened by tov over 5 years ago - 1 comment
Labels: docs

#85 - Enhancements to `type-error` form

Pull Request - State: closed - Opened by tov over 5 years ago - 4 comments

#84 - (define-typed-variable id typed-e ⇐ τ) discards τ

Issue - State: closed - Opened by tov over 5 years ago - 4 comments

#83 - no docs for rackunit/turnstile

Issue - State: closed - Opened by stchang over 5 years ago
Labels: docs

#82 - docs for ≻ conclusion wrong

Issue - State: open - Opened by stchang over 5 years ago
Labels: docs

#81 - Fix resugaring crash when syntax missing 'display-as

Pull Request - State: closed - Opened by wilbowma almost 6 years ago - 1 comment

#80 - fixed a source location

Pull Request - State: closed - Opened by wilbowma almost 6 years ago - 1 comment

#79 - Resugaring fails when syntax is missing a 'display-as property

Issue - State: closed - Opened by wilbowma almost 6 years ago - 2 comments

#78 - Fix error conclusion; fixes #76

Pull Request - State: closed - Opened by wilbowma almost 6 years ago - 4 comments

#77 - Correct dependency on typed-racket

Pull Request - State: closed - Opened by wilbowma almost 6 years ago - 1 comment

#76 - #:error cannot reference attributes from right-hand side of infer arrow(?)

Issue - State: closed - Opened by wilbowma almost 6 years ago - 10 comments

#75 - namespace mismatch; cannot locate module instance

Issue - State: closed - Opened by howell about 6 years ago - 1 comment

#74 - Use `make-variable-like-transformer` for `define-typed-variable-rename`

Pull Request - State: closed - Opened by howell about 6 years ago - 3 comments

#72 - env shape needs better checks

Issue - State: closed - Opened by stchang over 6 years ago - 2 comments

#71 - Update reference.scrbl

Pull Request - State: closed - Opened by eduvidau over 6 years ago

#70 - Update stlc.rkt

Pull Request - State: closed - Opened by stchang over 6 years ago

#69 - Correct source locations

Issue - State: closed - Opened by wilbowma over 6 years ago - 3 comments

#68 - Refactored macrotypes and turnstile into separate packages

Pull Request - State: closed - Opened by wilbowma over 6 years ago - 1 comment

#67 - Split packages

Issue - State: closed - Opened by wilbowma over 6 years ago

#66 - simplify simple/stlc.rkt

Pull Request - State: closed - Opened by stchang over 6 years ago

#65 - add #:and and #:cut options

Pull Request - State: closed - Opened by AlexKnauth over 6 years ago

#64 - Subtyping for Pi types is broken

Issue - State: closed - Opened by wilbowma over 6 years ago - 3 comments

#63 - allow arbitrary number of tyenvs to the left of turnstile

Issue - State: open - Opened by stchang almost 7 years ago

#61 - remove alternate conclusion style

Pull Request - State: closed - Opened by michaelballantyne almost 7 years ago

#60 - Improve ⇐pat matching

Pull Request - State: closed - Opened by michaelballantyne almost 7 years ago

#58 - can't figure out this "bad syntax"

Issue - State: open - Opened by stchang almost 7 years ago - 2 comments

#57 - finish switch to current-tag-stx syntax param

Pull Request - State: closed - Opened by michaelballantyne almost 7 years ago

#56 - add ascii equivalents of unicode chars

Issue - State: closed - Opened by stchang almost 7 years ago - 1 comment

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

Issue - State: open - Opened by stchang almost 7 years ago

#54 - separate type environment from runtime binding

Issue - State: open - Opened by stchang almost 7 years ago
Labels: enhancement

#53 - Mlish refactoring

Pull Request - State: closed - Opened by michaelballantyne almost 7 years ago

#52 - `rackunit-typechecking` should be compiled

Issue - State: closed - Opened by stchang almost 7 years ago

#51 - get rid of macro `add-expected`?

Issue - State: closed - Opened by stchang almost 7 years ago - 1 comment

#50 - Mlish refactor: define and mutually recursive definition tests

Pull Request - State: closed - Opened by michaelballantyne almost 7 years ago

#49 - Faster define type, and change to define-types for mutually recursive datatypes

Pull Request - State: closed - Opened by michaelballantyne almost 7 years ago - 1 comment

#48 - Cyclical Dependency: define-syntax-category <-> infer

Issue - State: open - Opened by iitalics almost 7 years ago - 4 comments

#47 - Lift define type transformers

Pull Request - State: closed - Opened by iitalics almost 7 years ago - 2 comments

#46 - Avoid generating syntax-parse in define-type-alias

Pull Request - State: closed - Opened by michaelballantyne almost 7 years ago - 1 comment

#45 - Have assign-type wrap with `erased`, for stop-list

Pull Request - State: closed - Opened by michaelballantyne almost 7 years ago - 1 comment

#44 - Abstract over typed wrappers for defined variables

Issue - State: closed - Opened by michaelballantyne almost 7 years ago - 1 comment

#43 - Remove rosette

Pull Request - State: closed - Opened by michaelballantyne almost 7 years ago

#42 - Complexity improvements for scope management

Pull Request - State: closed - Opened by michaelballantyne almost 7 years ago - 1 comment

#41 - Stoplist optimization to avoid re-expansion

Pull Request - State: closed - Opened by michaelballantyne almost 7 years ago - 1 comment

#40 - Lift macro-defined infer-like macro out of mlish+adhoc lambda to impr…

Pull Request - State: closed - Opened by michaelballantyne about 7 years ago - 1 comment

#39 - generalize expected type mechanism

Issue - State: closed - Opened by stchang about 7 years ago - 1 comment
Labels: duplicate

#38 - change `#lang turnstile/lang` to `#lang turnstile/quick`

Issue - State: closed - Opened by stchang about 7 years ago - 2 comments

#37 - "bad syntax" in inductive with no parameters/indices

Issue - State: closed - Opened by wilbowma over 7 years ago - 3 comments

#36 - Issues with inductive types with indices

Issue - State: closed - Opened by wilbowma over 7 years ago - 11 comments

#35 - [mlish] typechecking does not terminate on recursive type

Issue - State: closed - Opened by SuzanneSoy over 7 years ago - 2 comments

#34 - Can't use \Pi at run-time

Issue - State: closed - Opened by wilbowma over 7 years ago - 7 comments

#33 - Can't define datatypes in dep-ind, or dep-ind fixed

Issue - State: closed - Opened by wilbowma over 7 years ago - 4 comments

#32 - Use first-class definition context for `infer`

Pull Request - State: closed - Opened by michaelballantyne over 7 years ago - 2 comments

#31 - use internal definition contexts instead of lambda wrapper

Issue - State: closed - Opened by stchang over 7 years ago - 6 comments

#30 - Make sure chameneos.mlish tests do not rely on the scheduler's fairness

Pull Request - State: closed - Opened by SuzanneSoy over 7 years ago - 1 comment

#28 - [mlish] type->str uses the type variable name, instead of the instantiated type

Issue - State: closed - Opened by SuzanneSoy over 7 years ago - 2 comments

#27 - ?: literal data is not allowed when using Type-level lambda

Issue - State: closed - Opened by wilbowma over 7 years ago - 1 comment

#26 - Should be able to use Type at runtime

Issue - State: closed - Opened by wilbowma over 7 years ago - 2 comments

#25 - Doc changes (w/ resectioning)

Pull Request - State: closed - Opened by iitalics over 7 years ago - 2 comments

#24 - Bug in MLish (syntax-e: given #f)

Issue - State: closed - Opened by SuzanneSoy over 7 years ago - 2 comments

#23 - Fix some of the signatures in the docs

Pull Request - State: closed - Opened by iitalics over 7 years ago - 4 comments

#22 - The overridden #, prevents access to identifiers from the surrounding scope

Issue - State: closed - Opened by SuzanneSoy over 7 years ago - 2 comments

#21 - FabUL language

Pull Request - State: closed - Opened by iitalics over 7 years ago

#20 - chameneos.mlish fails tests

Issue - State: closed - Opened by iitalics over 7 years ago - 3 comments

#19 - Linear example language(s)

Pull Request - State: closed - Opened by iitalics over 7 years ago

#18 - Keywords #:mode and #:submode

Pull Request - State: closed - Opened by iitalics over 7 years ago

#11 - Configurable var transformers & better ellipsis grouping for Turnstile

Pull Request - State: open - Opened by iitalics over 7 years ago - 14 comments

#4 - base-type / ctor-type syntax class

Issue - State: closed - Opened by iitalics almost 8 years ago