diff options
author | Hugo Hörnquist <hugo@hornquist.se> | 2018-11-10 18:37:16 +0100 |
---|---|---|
committer | Hugo Hörnquist <hugo@hornquist.se> | 2018-11-10 18:37:16 +0100 |
commit | 701bd4a9ad93d10ad8b6a0ef747869d544c5da8b (patch) | |
tree | b75580099b06bf3416d0621fe2ccdcb7986c52d9 /control/monad | |
parent | Move stuff into modules. (diff) | |
download | scheme-monad-701bd4a9ad93d10ad8b6a0ef747869d544c5da8b.tar.gz scheme-monad-701bd4a9ad93d10ad8b6a0ef747869d544c5da8b.tar.xz |
Fix problem with do notation being really broken.
Diffstat (limited to '')
-rw-r--r-- | control/monad.scm | 32 |
1 files changed, 4 insertions, 28 deletions
diff --git a/control/monad.scm b/control/monad.scm index e5dc89d..8bc46bf 100644 --- a/control/monad.scm +++ b/control/monad.scm @@ -1,39 +1,15 @@ (define-module (control monad) #:use-module (control monad procedures) - ;; #:use-module (control monad syntax) - #:export (do <-) - ;; #:re-export (>>= do <-) - ) + #:export (do) + #:re-export (>>=)) (define-syntax do (syntax-rules (<- let =) ((_ let var = val rest ...) (let ((var val)) (do rest ...))) - ((_ ptrn <- val rest ...) - (<- ptrn val rest ...)) + ((_ var <- val rest ...) + (>>= val (lambda (var) (do rest ...)))) ((_ a) a) ((_ token rest ...) (begin token (do rest ...))))) -(define-syntax <- - (syntax-rules (just writer) - ((_ (just var) val rest ...) - (>>= val (lambda (var) rest ...))) - ((_ (writer var) val rest ...) - (>>= val (lambda (var) rest ...)))) - - - #; - (lambda (x) - (syntax-case x (just writer) - ((_ (just var) val rest ...) - #'(>>= val (lambda (var) rest ...))) - ((_ (writer var) val rest ...) - #'(>>= val (lambda (var) rest ...))) - #; - ((_ (left var) val rest ...) ; - #'(>>= val (lambda (var) rest ...))) - #; - ((_ (right var) val rest ...) ; - #'(>>= val (lambda (var) rest ...)))))) - |