From 07448425a0e3c946dacf9d71a49de69f8cc30f58 Mon Sep 17 00:00:00 2001
From: JJ
Date: Thu, 13 Apr 2023 15:09:36 -0700
Subject: split bidirectional checking and conversion + defaults out of
 simple.rs

---
 src/main.rs | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'src/main.rs')

diff --git a/src/main.rs b/src/main.rs
index 4504d87..a33e963 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -2,6 +2,8 @@ use std::io::{Write, stdout, stdin};
 
 use chrysanthemum::*;
 use chrysanthemum::ast::*;
+use chrysanthemum::bidirectional::*;
+use chrysanthemum::simple::*;
 
 fn main() {
     println!("chrysanthemum");
@@ -22,7 +24,7 @@ fn main() {
 
                 input.clear();
                 stdin().read_line(&mut input).unwrap();
-                match simple::infer(&empty_context, parser::parse_lambda(&input).unwrap()) {
+                match infer(&empty_context, parser::parse_lambda(&input).unwrap()) {
                     Ok(kind) => println!("infers! {}", kind),
                     Err(e) => println!("{:?}", e),
                 }
@@ -34,10 +36,10 @@ fn main() {
 
                 input.clear();
                 stdin().read_line(&mut input).unwrap();
-                let kind = simple::infer(&empty_context, parser::parse(&input));
+                let kind = infer(&empty_context, parser::parse_lambda(&input).unwrap());
                 match kind {
                     Ok(kind) => {
-                        match simple::check(&empty_context, parser::parse_lambda(&input).unwrap(), &kind) {
+                        match check(&empty_context, parser::parse_lambda(&input).unwrap(), &kind) {
                             Ok(_) => println!("checks!"),
                             Err(e) => println!("{:?}", e),
                         }
@@ -52,7 +54,7 @@ fn main() {
 
                 input.clear();
                 stdin().read_line(&mut input).unwrap();
-                match simple::execute(&empty_context, parser::parse_lambda(&input).unwrap()) {
+                match execute(&empty_context, parser::parse_lambda(&input).unwrap()) {
                     Ok(term) => println!("{}", term),
                     Err(e) => println!("{:?}", e)
                 }
-- 
cgit v1.2.3-70-g09d2