Skip to content

Commit

Permalink
lib/types: defaultTypeMerge merge payload before wrapped
Browse files Browse the repository at this point in the history
  • Loading branch information
hsjobeki committed Nov 7, 2024
1 parent d2dfc1a commit 7de011e
Showing 1 changed file with 5 additions and 4 deletions.
9 changes: 5 additions & 4 deletions lib/types.nix
Original file line number Diff line number Diff line change
Expand Up @@ -93,12 +93,13 @@ rec {
else if (f.wrapped == null && f'.wrapped == null)
&& (f.payload == null && f'.payload == null)
then f.type
# composed types
else if (f.wrapped != null && f'.wrapped != null) && (wrapped != null)
then f.type wrapped
# value types
else if (f.payload != null && f'.payload != null) && (payload != null)
else if (f.payload != null && f'.payload != null)
then f.type payload
# composed types
# TODO(@hsjobeki) should be moved into payload once we have a default binOp for composed types
else if (f.wrapped != null && f'.wrapped != null)
then f.type wrapped
else null;

# Default type functor
Expand Down

0 comments on commit 7de011e

Please sign in to comment.