summaryrefslogtreecommitdiff
path: root/src/semantic/translate.rs
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/translate.rs
parent5b137e0983051bf72759cea9c4af1c4bc7a24e1f (diff)
License under MPL 2.0
Diffstat (limited to 'src/semantic/translate.rs')
-rw-r--r--src/semantic/translate.rs5
1 files changed, 5 insertions, 0 deletions
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};