microamp 0.1.0-alpha.7

Asymmetric Multi-Processing on microcontrollers
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

pub auto trait DataNotCode {}

macro_rules! impl_ {
    ($($T:ident),*) => {
        impl<R, $($T),*> !DataNotCode for fn($($T),*) -> R {}
        impl<R, $($T),*> !DataNotCode for extern "C" fn($($T),*) -> R {}
    };
}

macro_rules! impls {
    ($head:ident $(,$tail:ident)*) => {
        impls!($($tail),*);
        impl_!($head $(,$tail)*);
    };

    () => {
        impl_!();
    };
}

// FIXME this should use Variadic Generics
impls!(A, B, C, D, E, F, G, H, I, J, K, L);

pub fn is_data<T>()
where
    T: DataNotCode + ?Sized,
{
}