> +-- | Allocate a port.
> +-- The port will be taken from the available port pool or from the
> +-- default port range (and in this case we increase
> +-- highest_used_port).
> +allocatePort :: WConfdMonad Int
> +allocatePort = do
> +  Just port <- modifyConfigAndReturnWithLock (\_ cs ->

I fail to see why this pattern is unrefutable.

-- 
Klaus Aehlig
Google Germany GmbH, Dienerstr. 12, 80331 Muenchen
Registergericht und -nummer: Hamburg, HRB 86891
Sitz der Gesellschaft: Hamburg
Geschaeftsfuehrer: Graham Law, Christine Elizabeth Flores

Reply via email to