Added a missing case in showOccamM for A.Type

This commit is contained in:
Neil Brown 2008-12-14 18:26:10 +00:00
parent f29d0993e9
commit 560b67de5e

View File

@ -241,7 +241,6 @@ instance ShowOccam A.Type where
showOccamM A.Any = tell ["ANY"]
showOccamM (A.Timer _) = tell ["TIMER"]
showOccamM A.Time = tell ["TIME"]
showOccamM A.Infer = tell ["inferred type"]
showOccamM (A.UnknownVarType _ en)
= do tell ["(inferred type for: "]
either showName (tell . (:[]) . show) en