Adjust module organization to facilitate resurrection of the playground.

The playground doesn't / cannot depend on aiken-project because that becomes a gigantic pain. So instead, we try to keep essential stuff inside aiken-lang when possible.
This commit is contained in:
KtorZ
2024-08-29 09:11:26 +02:00
parent 8bccbd9e00
commit e31c6de04e
18 changed files with 1360 additions and 1342 deletions

View File

@@ -1,9 +1,9 @@
use super::build::{filter_traces_parser, trace_level_parser};
use aiken_lang::ast::{TraceLevel, Tracing};
use aiken_project::{
use aiken_lang::{
ast::{TraceLevel, Tracing},
test_framework::PropertyTest,
watch::{self, watch_project, with_project},
};
use aiken_project::watch::{self, watch_project, with_project};
use rand::prelude::*;
use std::{path::PathBuf, process};