probl-sema 0.2.1

Internal to Probl, with no stable API: name resolution, lowering to IR and liveness analysis. Use the `probl` crate.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

//! Recognize numeric literals for early contextual conversion and diagnostics.
use crate::ir::{Expr, ExprKind, Lit};
use probl_syntax::ast::UnOp;

pub fn numeric_literal(e: &Expr) -> Option<f64> {
    match &e.kind {
        ExprKind::Lit(Lit::Float(x)) => Some(*x),
        ExprKind::Lit(Lit::Int(n)) => Some(n.to_f64().unwrap_or(f64::INFINITY)),
        ExprKind::Unary(UnOp::Neg, x) => numeric_literal(x).map(|n| -n),
        _ => None,
    }
}

/// Keep exact integer literals out of float-to-int validation: even converting
/// them to f64 just for inspection can round or overflow a valid bigint.
pub fn float_literal(e: &Expr) -> Option<f64> {
    match &e.kind {
        ExprKind::Lit(Lit::Float(x)) => Some(*x),
        ExprKind::Unary(UnOp::Neg, x) => float_literal(x).map(|n| -n),
        _ => None,
    }
}