Fieldselectors when assigning

[cc1516.git] / sem.icl

diff --git a/sem.icl b/sem.icl
index fd9eb5c..8ca24cf 100644 (file)
--- a/sem.icl
+++ b/sem.icl
@@ -405,7 +405,7 @@ instance infer Stmt where
 
 reverseFs :: Type FieldSelector -> Typing Type 
 reverseFs t FieldHd = pure $ ListType t
-reverseFs t FieldTl = pure $ ListType t 
+reverseFs t FieldTl = pure t 
 reverseFs t FieldFst = fresh >>= \tv -> pure $ TupleType (t, tv)
 reverseFs t FieldSnd = fresh >>= \tv -> pure $ TupleType (tv, t)