suzanne.soy/macrotypes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove contract

Browse Source
This commit is contained in:
Georges Dupéron 2017-09-26 19:34:23 +02:00
parent d709704cd7
commit c871a36d8d
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
macrotypes/type-constraints.rkt
View File

@ -305,12 +305,7 @@
;; inst-type/cs/orig :
;; (Stx-Listof Id) Constraints Type-Stx (Id Id -> Bool) -> Type-Stx
;; like inst-type/cs, but also substitutes within the orig property
(define/contract (inst-type/cs/orig Xs cs ty [var=? free-identifier=?])
(-> (stx->list->c (listof identifier?))
(stx->list->c (listof (stx->list->c (list/c syntax? syntax?))))
type?
(-> identifier? identifier? boolean?)
type?)
(define (inst-type/cs/orig Xs cs ty [var=? free-identifier=?])
(define tys-solved (lookup-Xs/keep-unsolved Xs cs))
(inst-type/orig tys-solved Xs ty var=?))
;; inst-type/cs/orig/variance