(* test longmodid resolution *)

signature S = sig end;
signature F = functor(X:sig end)->sig end;

functor Ok(X:S) = X;
functor Fail(X:S) = op X;

functor Ok(X:F) = op X;
functor Fail(X:F) = X;

functor Ok(X:S) = op X : S;
functor OK(X:S) = X : S;

functor Ok(X:F) = op X : F;
functor OK(X:F) = X : F;

functor Ok(X:S) = op X :> S;
functor OK(X:S) = X :> S;

functor Ok(X:F) = op X :> F;
functor OK(X:F) = X :> F;

structure S = struct end;
functor F(X:S) = X;
functor H(X:F) = op X;

structure Ok = F(S);
structure Ok = F(op S);

functor Ok = H(F);
functor Ok = H(op F);

structure S = struct end;
functor F = functor(X:sig end)=>struct end;
functor G X:S = X;
functor H X:F = op X;

structure Ok = G(S);
structure Ok = G(op S);

functor Ok = H(F);
functor Ok = H(op F);

functor Ok(X:S) = let in X end;
functor Fail(X:S) = let in op X end;

functor Ok(X:F) = let in op X end;
functor Fail(X:F) = let in X end;

functor Ok(X:S) = let in op X end : S;
functor OK(X:S) = let in X end : S;

functor Ok(X:F) = let in op X end : F;
functor OK(X:F) = let in X end : F;