aboutsummaryrefslogtreecommitdiff
path: root/src/comp/util/common.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/comp/util/common.rs')
-rw-r--r--src/comp/util/common.rs8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/comp/util/common.rs b/src/comp/util/common.rs
index 7456a8c8..7b0ffd5b 100644
--- a/src/comp/util/common.rs
+++ b/src/comp/util/common.rs
@@ -4,6 +4,14 @@ import std._int;
type pos = rec(uint line, uint col);
type span = rec(str filename, pos lo, pos hi);
+// FIXME: import std.util.option and use it here.
+// import std.util.option;
+
+tag option[T] {
+ none;
+ some(T);
+}
+
tag ty_mach {
ty_i8;
ty_i16;