pr47 0.1.4-CHARLIE

A semi-experimental programming language. Still working in progress.
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
52
53
54
55
56
57
58

//! # Concrete syntax tree of types
//!
//! Type syntax:
//! ```text
//! type ::= nonnull-type
//!        | nullable-type
//!
//! nonnull-type ::= primitive-type
//!                | generic-type
//!                | deduced-type
//!                | user-type
//!                | nullable-type
//!
//! nullable-type ::= '?' nonnull-type
//!
//! primitive-type ::= 'any' | 'char' | 'float' | 'int' | 'object' | 'string' | 'void'
//!
//! generic-type ::= 'vector' '<' generic-type-parameter '>'
//!
//! generic-type-parameter-list ::= generic-type-parameter-list ',' type
//!                               | type
//!
//! deduced-type ::= 'auto'
//!
//! user-type ::= identifier
//! ```

use smallvec::SmallVec;

use crate::diag::location::{SourceLoc, SourceRange};
use crate::syntax::id::Identifier;
use crate::syntax::token::Token;

// TODO use some arena to store type information. Concrete tree of the same type occurred in
// TODO different locations should share the same instance, with different source location attached.

#[cfg_attr(test, derive(Debug))]
pub enum ConcreteType<'a> {
    PrimitiveType(Token<'a>),
    GenericType(Box<ConcreteGenericType<'a>>),
    NullableType(Box<ConcreteNullableType<'a>>),
    DeducedType(SourceRange),
    UserType(Identifier<'a>)
}

#[cfg_attr(test, derive(Debug))]
pub struct ConcreteGenericType<'a> {
    pub base: Token<'a>,
    pub inner: SmallVec<[ConcreteType<'a>; 2]>,
    pub left_angle: SourceLoc,
    pub right_angle: SourceLoc
}

#[cfg_attr(test, derive(Debug))]
pub struct ConcreteNullableType<'a> {
    pub inner: ConcreteType<'a>,
    pub ques_loc: SourceLoc
}