4032 The right-hand side of an exception copy declaration must be a path, not an arbitrary expression. exception A fun get () = A exception B = get () (** ^^^^^^ must be a path *) To fix Use a path. exception A exception B = A