get building

fadno-xml.cabal

@@ -1,5 +1,5 @@
 name:                fadno-xml
-version:             1.2
+version:             1.2.1
 synopsis:            XML/XSD combinators/schemas/codegen
 description:
             Library for generating code from XML schema files, with
@@ -40,7 +40,7 @@ library
   -- other-modules:
   -- other-extensions:
   build-depends:       Decimal >= 0.4
-                     , base >= 4.9 && < 4.15
+                     , base >= 4.9 && < 4.20
                      , containers >= 0.5
                      , lens >= 4.15
                      , mtl >= 2.2

src/Fadno/Xml/Codegen.hs

@@ -21,6 +21,7 @@ module Fadno.Xml.Codegen
 import Fadno.Xml.EmitTypes
 import Fadno.Xml.ParseXsd
 import Control.Lens hiding (Choice,element,elements)
+import Control.Monad
 import Control.Monad.State.Strict
 import Control.Monad.Reader
 import qualified Data.Map.Strict as M

src/Fadno/Xml/ParseXsd.hs

@@ -366,10 +366,12 @@ instance Resolvable Element where
 
 
 instance Resolvable (Ref (Either ComplexType SimpleType)) where
-    resolve sch (Unresolved f) = Resolved f $ either error id
-                                 ((Left <$> searchRefTarget "Either-ComplexType" complexTypes f sch)
-                                  <|>
-                                  (Right <$> searchRefTarget "Either-SimpleType" simpleTypes f sch))
+    resolve sch (Unresolved f) = Resolved f $
+        case searchRefTarget "Either-ComplexType" complexTypes f sch of
+          Right r -> Left r
+          Left {} -> case searchRefTarget "Either-SimpleType" simpleTypes f sch of
+            Right r -> Right r
+            Left e -> error e
     resolve _ r = r
 
 

src/Fadno/Xml/XParse.hs

@@ -18,6 +18,7 @@ import qualified Text.XML.Light as X
 import qualified Text.XML.Light.Cursor as C
 
 import Control.Exception
+import Control.Monad
 import Control.Monad.State.Strict hiding (sequence)
 import Control.Monad.Except hiding (sequence)
 import Data.Either

src/Fadno/Xml/XParser.hs

@@ -22,6 +22,7 @@ module Fadno.Xml.XParser {-# DEPRECATED "in favor of XParse" #-}
 import qualified Text.XML.Light as X
 
 import Control.Exception
+import Control.Monad
 import Control.Monad.State.Strict hiding (sequence)
 import Control.Monad.Except hiding (sequence)
 import Data.Either