Fix small examples

coalton-lang · Dec 30, 2024 · 50946f3 · 50946f3
1 parent 20e05d7
commit 50946f3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/examples/small-coalton-programs/src/brainfold.lisp b/examples/small-coalton-programs/src/brainfold.lisp
@@ -19,12 +19,12 @@
    #:coalton
    #:coalton-prelude)
   (:local-nicknames
-   (#:vec #:coalton-library/vector)
+   (#:vec #:coalton-library/collections/mutable/vector)
    (#:iter #:coalton-library/iterator)
    (#:cell #:coalton-library/cell)
    (#:char #:coalton-library/char)
    (#:str #:coalton-library/string)
-   (#:list #:coalton-library/list)
+   (#:list #:coalton-library/collections/immutable/list)
    (#:arith #:coalton-library/math)
    (#:state #:coalton-library/monad/state)
    (#:file #:coalton-library/file))

diff --git a/examples/small-coalton-programs/src/freecalc.lisp b/examples/small-coalton-programs/src/freecalc.lisp
@@ -9,6 +9,7 @@
    #:describe
    #:disassemble)
   (:use #:coalton #:coalton-prelude)
+  (:shadow #:add)
   (:local-nicknames
    (#:vector #:coalton-library/vector)
    (#:st #:coalton-library/monad/state)
@@ -78,7 +79,7 @@ we map over."
                  ((AddE x y next) (pure (next (+ x y))))
                  ((SubE x y next) (pure (next (- x y))))
                  ((InputE next)
-                  (map (compose next (fn (vec) (defaulting-unwrap (vector:pop! vec))))
+                  (map (compose next (fn (vec) (defaulting-unwrap (pop! vec))))
                        st:get))))))