1. Stephen Chang Avatar Stephen Chang
  2. Untitled project
  3. macrotypes
  4. Issues

need parameters that distinguish "well-formed" types from "valid" types

Issue #44 resolved
Stephen Chang repo owner created an issue

eg, "well-formed" = star kind "valid" = any kind

Comments (1)

  1. Stephen Chang reporter

    split def-kinded-stx from def-typed-stx; split any-type? from type?

    • the former prevents using current-typecheck-relation at type/kind level
    • the latter differentiates "well-formed" types (star) from valid types (any kind)
    • move define-ed-syntax and -eval into define-syntax-category
    • turnstile must wrap define-stx-category to define new define-*ed-syntax
    • add any-? pred and any- stx class in def-stx-category
    • fixes #44
    • fixes #45

    → <<cset 28fa5dd0335a>>

  2. Log in to comment
Assignee
–
Type
enhancement
Priority
major
Status
resolved
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!