summaryrefslogtreecommitdiff
path: root/src/semantic
diff options
context:
space:
mode:
authorDavid Li <li.davidm96@gmail.com>2017-11-06 20:33:58 -0500
committerDavid Li <li.davidm96@gmail.com>2017-11-06 20:33:58 -0500
commitd087fd4fb4a1f35dcb40623b22558cefc79b38cc (patch)
tree54618a5f52a96ff28256f51a2ce867353840a0d3 /src/semantic
parent5b137e0983051bf72759cea9c4af1c4bc7a24e1f (diff)
License under MPL 2.0
Diffstat (limited to 'src/semantic')
-rw-r--r--src/semantic/environment.rs5
-rw-r--r--src/semantic/mod.rs5
-rw-r--r--src/semantic/translate.rs5
-rw-r--r--src/semantic/types.rs5
4 files changed, 20 insertions, 0 deletions
diff --git a/src/semantic/environment.rs b/src/semantic/environment.rs
index 7876ad4..1f9ade0 100644
--- a/src/semantic/environment.rs
+++ b/src/semantic/environment.rs
@@ -1,3 +1,8 @@
+// Copyright ⓒ 2017 David Li.
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
use std::collections::HashMap;
use std::hash::Hash;
diff --git a/src/semantic/mod.rs b/src/semantic/mod.rs
index 433a196..e2edc24 100644
--- a/src/semantic/mod.rs
+++ b/src/semantic/mod.rs
@@ -1,3 +1,8 @@
+// Copyright ⓒ 2017 David Li.
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
pub mod environment;
pub mod translate;
pub mod types;
diff --git a/src/semantic/translate.rs b/src/semantic/translate.rs
index dfcec68..7e0d2b8 100644
--- a/src/semantic/translate.rs
+++ b/src/semantic/translate.rs
@@ -1,3 +1,8 @@
+// Copyright ⓒ 2017 David Li.
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
use ::ast::{self, WithLocation};
use super::environment;
use super::types::{self, Ty};
diff --git a/src/semantic/types.rs b/src/semantic/types.rs
index af6c971..25d9fb5 100644
--- a/src/semantic/types.rs
+++ b/src/semantic/types.rs
@@ -1,3 +1,8 @@
+// Copyright ⓒ 2017 David Li.
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
#[derive(Clone,Debug,Eq,PartialEq)]
pub enum Ty {
Int,