From b916ab5206d76f826298ac7396673516e32fc3ce Mon Sep 17 00:00:00 2001 From: Tissevert Date: Sat, 15 Feb 2020 10:23:32 +0100 Subject: [PATCH] Just noticed Streams are a kind of Dictionary too, since they have a header --- src/PDF/Object/Navigation.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/PDF/Object/Navigation.hs b/src/PDF/Object/Navigation.hs index 19805b3..3640704 100644 --- a/src/PDF/Object/Navigation.hs +++ b/src/PDF/Object/Navigation.hs @@ -40,6 +40,7 @@ instance MonadFail Error where castDictionary :: MonadFail m => Object -> m Dictionary castDictionary (Direct (Dictionary aDict)) = return aDict +castDictionary (Stream {header}) = return header castDictionary obj = expected "dictionary : " obj castObjectId :: MonadFail m => DirectObject -> m ObjectId