diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-04-18 15:44:31 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-04-18 15:44:31 -0700 |
| commit | 978803c5ef53260b775bc0be36e8646ba9c5d9a1 (patch) | |
| tree | 50a8a7766735c8d18c5b128cf8ee28691383cc0d /lambda-to-mu.mu | |
| parent | 6c52e24e2996a77aa6297b26159003d503aef8a0 (diff) | |
| download | mu-978803c5ef53260b775bc0be36e8646ba9c5d9a1.tar.gz | |
3831
Fix CI.
Diffstat (limited to 'lambda-to-mu.mu')
| -rw-r--r-- | lambda-to-mu.mu | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lambda-to-mu.mu b/lambda-to-mu.mu index 8e99fd07..2bd74974 100644 --- a/lambda-to-mu.mu +++ b/lambda-to-mu.mu @@ -192,7 +192,7 @@ def parse in:&:stream:char -> out:&:cell, in:&:stream:char [ { break-if pair? # atom - buf:&:buffer <- new-buffer 30 + buf:&:buffer:char <- new-buffer 30 { done?:bool <- end-of-stream? in break-if done? @@ -288,12 +288,12 @@ def skip-whitespace in:&:stream:char -> in:&:stream:char [ def to-text x:&:cell -> out:text [ local-scope load-ingredients - buf:&:buffer <- new-buffer 30 + buf:&:buffer:char <- new-buffer 30 buf <- to-buffer x, buf out <- buffer-to-array buf ] -def to-buffer x:&:cell, buf:&:buffer -> buf:&:buffer [ +def to-buffer x:&:cell, buf:&:buffer:char -> buf:&:buffer:char [ local-scope load-ingredients # base case: empty cell @@ -575,12 +575,12 @@ scenario parse-dotted-list-of-more-than-two-atoms [ def to-mu in:&:cell -> out:text [ local-scope load-ingredients - buf:&:buffer <- new-buffer 30 + buf:&:buffer:char <- new-buffer 30 buf <- to-mu in, buf out <- buffer-to-array buf ] -def to-mu in:&:cell, buf:&:buffer -> buf:&:buffer, result-name:text [ +def to-mu in:&:cell, buf:&:buffer:char -> buf:&:buffer:char, result-name:text [ local-scope load-ingredients # null cell? no change. |