summaryrefslogtreecommitdiff
path: root/src/semantic/types.rs
diff options
context:
space:
mode:
authorDavid Li <li.davidm96@gmail.com>2017-11-06 21:12:56 -0500
committerDavid Li <li.davidm96@gmail.com>2017-11-06 21:12:56 -0500
commita90fdb63e8adb09dafcc050344c443d3b73838bc (patch)
treeaf62150d119aad693d20c97d8a503cdd6ff34c4c /src/semantic/types.rs
parentb1ef87bc10b662d6e37f929fa86db7a20b44e7dd (diff)
Parse and typecheck function calls
Diffstat (limited to 'src/semantic/types.rs')
-rw-r--r--src/semantic/types.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/semantic/types.rs b/src/semantic/types.rs
index 25d9fb5..928d8c9 100644
--- a/src/semantic/types.rs
+++ b/src/semantic/types.rs
@@ -10,6 +10,7 @@ pub enum Ty {
Nil,
Unit,
Record(Vec<RecordField>),
+ Function(Vec<Ty>, Box<Ty>),
}
#[derive(Clone,Debug,Eq,PartialEq)]