Re: [racket-users] unit "mixins"

Here is a small modification of your program that I think does what you want, but I might not understand your question: #lang racket (define-signature x^ (a b c)) ; (define-signature y^ (b)) ; (define-signature z^ (c)) (define-signature f^ (f)) (define-unit u@ (import x^) (export f^)

[racket-users] unit "mixins"

Hello, I'm trying to do something like a unit "mixin", but have gotten stuck. Here's a sketch of what I'd like: #lang racket (define-signature x^ (a)) (define-signature y^ (b)) (define-signature z^ (c)) (define-signature f^ (f)) (define-unit u@ (import x^ y^ z^) (export f^) (define (f