From 5147db71d99c38b44a29735c985de90246cda995 Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jans.tuomi@gmail.com>
Date: Tue, 6 Dec 2022 22:20:49 +0200
Subject: Fix some stuff

---
 examples/aoc22_1.milch       | 3 ++-
 examples/types-concept.milch | 6 +++---
 2 files changed, 5 insertions(+), 4 deletions(-)

(limited to 'examples')

diff --git a/examples/aoc22_1.milch b/examples/aoc22_1.milch
index ca7bea1..5d7b21b 100644
--- a/examples/aoc22_1.milch
+++ b/examples/aoc22_1.milch
@@ -1,4 +1,5 @@
-(import "core/common.milch")
+(import "core/common")
+(import "core/result")
 
 ;; utils
 
diff --git a/examples/types-concept.milch b/examples/types-concept.milch
index a2126d9..c583314 100644
--- a/examples/types-concept.milch
+++ b/examples/types-concept.milch
@@ -4,14 +4,14 @@
 ; lowercase types: polymorphic
 ; everything else: monomorphic
 
-(type compose (\[
+(type . (\[
     (\[b] c)  ; f
     (\[a] b)] ; g
     (\[a] c)))
 (let
-    compose (\[f g] (\[x] (f (g x)))))
+    . (\[f g] (\[x] (f (g x)))))
 
-((compose (+ 1) (+ 2)) 3)
+((. (+ 1) (+ 2)) 3)
 
 (type id (\[a] a))
 (let id (\[a] a))
-- 
cgit v1.3