prefix-transition
This commit is contained in:
parent
7d515e4e58
commit
4f63b36c9d
|
@ -1,6 +1,6 @@
|
||||||
;; Emacs indent settings
|
;; Emacs indent settings
|
||||||
(progn
|
(progn
|
||||||
(mapcar #'(lambda (x) (put x 'scheme-indent-function 1))
|
(mapcar #'(lambda (x) (put x 'scheme-indent-function 1))
|
||||||
'(transition extend-transition))
|
'(transition extend-transition prefix-transition))
|
||||||
(mapcar #'(lambda (x) (put x 'scheme-indent-function 2))
|
(mapcar #'(lambda (x) (put x 'scheme-indent-function 2))
|
||||||
'(role role/fresh yield)))
|
'(role role/fresh yield)))
|
||||||
|
|
6
os2.rkt
6
os2.rkt
|
@ -21,6 +21,7 @@
|
||||||
(except-out (struct-out transition) transition)
|
(except-out (struct-out transition) transition)
|
||||||
(rename-out [make-transition transition])
|
(rename-out [make-transition transition])
|
||||||
extend-transition
|
extend-transition
|
||||||
|
prefix-transition
|
||||||
|
|
||||||
role
|
role
|
||||||
role/fresh
|
role/fresh
|
||||||
|
@ -212,6 +213,11 @@
|
||||||
[(transition state actions) (transition state (list actions more-actions))]
|
[(transition state actions) (transition state (list actions more-actions))]
|
||||||
[state (transition state more-actions)]))
|
[state (transition state more-actions)]))
|
||||||
|
|
||||||
|
(define (prefix-transition t . more-actions)
|
||||||
|
(match t
|
||||||
|
[(transition state actions) (transition state (list more-actions actions))]
|
||||||
|
[state (transition state more-actions)]))
|
||||||
|
|
||||||
;;---------------------------------------------------------------------------
|
;;---------------------------------------------------------------------------
|
||||||
;; Topics and roles
|
;; Topics and roles
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue