blr-lang 0.1.0

A language implementation that provides type safe dataframes
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

//TODO: Make a better API here to avoid exposing compiler details.
use crate::compiler::{
    crust::{ItemSource, Symbol, Type, TypeScheme},
    nucleus,
};

/// TODO Make real symbols
pub const STD_CONV: &str = "std::conv";

pub const FLOAT: &str = "float";

pub fn register_conversion_funcs(builder: &mut ItemSource) {
    builder.register(
        Symbol {
            module: STD_CONV.to_string(),
            field: FLOAT.to_string(),
        },
        TypeScheme {
            unbound_rows: Default::default(),
            unbound_tys: Default::default(),
            evidence: Default::default(),
            typ: Type::abstraction(Type::Int, Type::Float),
        },
    );
}

pub fn register_conversion_imports(modules: &mut Vec<(String, String, nucleus::Module)>) {
    let module = wat::parse_str(STD_CONV_WAT).expect("blr-std::conv should be a valid wat module");
    modules.push((
        STD_CONV.to_string(),
        //TODO
        "".to_string(),
        nucleus::Module {
            module,
            imports: Default::default(),
            externals: Default::default(),
            // TODO fill this out
            exports: Default::default(),
        },
    ));
}
const STD_CONV_WAT: &str = r#"
(module
  (type $float-int-func (func (param i32 i64) (result f64)))
  (; TODO make float polymorphic ;)
  (export "float" (func $float-int))
  (func $float-int (type $float-int-func) (param i32 i64) (result f64)
   (f64.convert_i64_s (local.get 1))
   )
)
"#;