syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

flink spin example

This commit is contained in:
Sam Caldwell 2020-06-12 16:22:43 -04:00
parent 0d11850295
commit dcd53f5dd5
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
racket/typed/compile-spin.rkt
View File

@ -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)