Continue simulator

1 files changed, 2 insertions, 2 deletions

diff --git a/assignment-13/uFPL.icl b/assignment-13/uFPL.icl
index 3104595..23bf85c 100644
--- a/assignment-13/uFPL.icl
+++ b/assignment-13/uFPL.icl
@@ -42,7 +42,7 @@ removeDupShares (Shares s ss) = if exists id (Shares s) (removeDupShares ss)
 where
 	exists = any (\s` -> s.sname == s`) (sharesMap (\s -> s.sname) ss)
 
-sharesMap :: (A.t rw: (UShared t rw) -> a) Shares -> [a]
+sharesMap :: (A.t rw: (UShared t rw) -> a | Expr t) Shares -> [a]
 sharesMap _ NoShares = []
 sharesMap f (Shares s ss) = [f s:sharesMap f ss]
 
@@ -51,7 +51,7 @@ where
 	allShares` [] = NoShares
 	allShares` [x:xs] = append (allShares` x) (allShares` xs)
 
-instance allShares (Expr t rw)
+instance allShares (Expr t rw) | Expr t
 where
 	allShares` (ELit _) = NoShares
 	allShares` (EShared s) = Shares s NoShares