diff options
| author | Griffin Smith <root@gws.fyi> | 2021-03-14T21·01-0400 |
|---|---|---|
| committer | Griffin Smith <root@gws.fyi> | 2021-03-14T21·01-0400 |
| commit | b93268085aab14c80a400c299da5d04d2781098e (patch) | |
| tree | 99e9eefc175a36f3949404daf6c2fe4a49d1e1c1 /src/ast/mod.rs | |
| parent | ecb4c0f803e9b408e4fd21c475769eb4dc649d14 (diff) | |
Implement top-level ascription of declarations
Diffstat (limited to 'src/ast/mod.rs')
| -rw-r--r-- | src/ast/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ast/mod.rs b/src/ast/mod.rs index 1884ba69f43c..3a2261aeda23 100644 --- a/src/ast/mod.rs +++ b/src/ast/mod.rs @@ -266,6 +266,7 @@ impl<'a> Fun<'a> { #[derive(Debug, PartialEq, Eq, Clone)] pub enum Decl<'a> { Fun { name: Ident<'a>, body: Fun<'a> }, + Ascription { name: Ident<'a>, type_: Type<'a> }, } //// |