pliron 0.14.0

Programming Languages Intermediate RepresentatiON
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

use crate::{
    context::{Context, Ptr},
    result::Result,
    r#type::{Type, TypeObj},
    utils::apfloat::Semantics,
};
use pliron_derive::type_interface;

/// Types that represent floating point numbers.
#[type_interface]
pub trait FloatTypeInterface {
    /// Returns the semantics of the float type.
    fn get_semantics(&self) -> Semantics;
    fn verify(_attr: &dyn Type, _ctx: &Context) -> Result<()>
    where
        Self: Sized,
    {
        Ok(())
    }
}

/// Types that represent a function, i.e., take in arguments and return results.
#[type_interface]
pub trait FunctionTypeInterface {
    /// Returns the argument types of the function type.
    fn arg_types(&self) -> Vec<Ptr<TypeObj>>;
    /// Returns the result types of the function type.
    fn res_types(&self) -> Vec<Ptr<TypeObj>>;
    fn verify(_ty: &dyn Type, _ctx: &Context) -> Result<()>
    where
        Self: Sized,
    {
        Ok(())
    }
}