knave 0.14.22

A Lisp programming language for humans and agents that infers types and ownership and compiles to readable Rust
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

use crate::core::PrimitiveType;
use crate::reader::{Number, NumberValue};
use crate::types::Type;

pub(super) struct RustFallback;

impl RustFallback {
    pub(super) const INTEGER: PrimitiveType = PrimitiveType::I32;
    const FLOAT: PrimitiveType = PrimitiveType::F64;

    pub(super) fn gives(number: &Number, ty: &Type) -> bool {
        *ty == Type::Primitive(Self::of(number, ty))
    }

    fn of(number: &Number, ty: &Type) -> PrimitiveType {
        let float_digits = matches!(number.value(), NumberValue::Float(_))
            || matches!(ty, Type::Primitive(primitive) if primitive.is_float());
        if float_digits {
            Self::FLOAT
        } else {
            Self::INTEGER
        }
    }
}