From ba1a9b1d5259f022e298c385841a39f420ce4155 Mon Sep 17 00:00:00 2001
From: Greg Brown <gmb60@cam.ac.uk>
Date: Fri, 20 Nov 2020 16:22:38 +0000
Subject: Implement context traits for Vec

---
 src/ast/mod.rs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/ast/mod.rs')

diff --git a/src/ast/mod.rs b/src/ast/mod.rs
index 10054fc..280a646 100644
--- a/src/ast/mod.rs
+++ b/src/ast/mod.rs
@@ -390,11 +390,11 @@ impl Type for Variable {
     }
 
     fn first_set<C: FirstSetContext>(&self, context: &mut C) -> Option<FirstSet> {
-        context.get_first_set(self.index)
+        context.get_first_set(self.index).cloned()
     }
 
     fn flast_set<C: FlastSetContext>(&self, context: &mut C) -> Option<FlastSet> {
-        context.get_flast_set(self.index)
+        context.get_flast_set(self.index).cloned()
     }
 
     fn well_typed<C: FlastSetContext>(self, context: &mut C) -> Result<Typed, Self::Err> {
@@ -587,15 +587,15 @@ pub struct Typed {
 
 impl Typed {
     pub fn is_nullable(&self) -> bool {
-        todo!()
+        self.nullable
     }
 
     pub fn first_set(&self) -> &FirstSet {
-        todo!()
+        &self.first_set
     }
 
     pub fn flast_set(&self) -> &FlastSet {
-        todo!()
+        &self.flast_set
     }
 }
 
-- 
cgit v1.2.3