From dcd53f5dd5aa5fa5bbba50ca460b07b50ece6fc4 Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Fri, 12 Jun 2020 16:22:43 -0400 Subject: [PATCH] flink spin example --- racket/typed/compile-spin.rkt | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/racket/typed/compile-spin.rkt b/racket/typed/compile-spin.rkt index c16ff27..a921180 100644 --- a/racket/typed/compile-spin.rkt +++ b/racket/typed/compile-spin.rkt @@ -303,7 +303,7 @@ [(set-empty? nm) (gensym 'inert)] [else - (define (take-prefix s) (substring s 0 prefix)) + (define (take-prefix s) (substring s 0 (min prefix (string-length s)))) (define rough-name (string-join (set-map nm (compose take-prefix symbol->string)) "_")) (make-spin-id rough-name)])) @@ -558,6 +558,16 @@ |# ) +(module+ flink + (define (import r) + (define r+ (parse-T r)) + (compile/internal-events (compile r+) #f)) + (define jm-rg (import job-manager-actual)) + (define tm-rg (import task-manager-ty)) + (define tr-rg (import task-runner-ty)) + (define flink-spin (program->spin (list tr-rg tm-rg jm-rg))) + (gen-spin/to-file flink-spin "gen-flink.pml")) + (require racket/trace) #;(trace make-spin-id) #;(trace state->spin)