Skip to content

Commit

Permalink
private causes Private_Access errors - out of scope of this PR, so …
Browse files Browse the repository at this point in the history
…reverting adding private; probably to be resolved in #6282
  • Loading branch information
radeusgd committed Oct 25, 2024
1 parent 383e2ff commit f90f4a2
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -39,10 +39,10 @@ type Default_Comparator
hash x = Default_Comparator.hash_builtin x

## PRIVATE
private hash_builtin x = @Builtin_Method "Default_Comparator.hash_builtin"
hash_builtin x = @Builtin_Method "Default_Comparator.hash_builtin"

## PRIVATE
private less_than_builtin left right = @Builtin_Method "Default_Comparator.less_than_builtin"
less_than_builtin left right = @Builtin_Method "Default_Comparator.less_than_builtin"

## PRIVATE
Called as a callback from internal engine code for an atom with a custom
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -17,4 +17,4 @@ type Any
type Default_Comparator

## PRIVATE
private less_than_builtin left right = @Builtin_Method "Default_Comparator.less_than_builtin"
less_than_builtin left right = @Builtin_Method "Default_Comparator.less_than_builtin"

0 comments on commit f90f4a2

Please sign in to comment.