Skip to content

Instantly share code, notes, and snippets.

@ponylang-gist
Created October 27, 2018 18:41
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ponylang-gist/d2c4ae32b9f211747d57b5b80079eedf to your computer and use it in GitHub Desktop.
Save ponylang-gist/d2c4ae32b9f211747d57b5b80079eedf to your computer and use it in GitHub Desktop.
Error:
/home/pd/Develop/Secretary/src/ag-movies/movie.pony:21:30: type argument is outside its constraint
class ref Movie is Comparable[Movie ref]
^
Info:
/home/pd/Develop/Secretary/src/ag-movies/movie.pony:21:31: argument: Movie ref
class ref Movie is Comparable[Movie ref]
^
/usr/lib/pony/0.25.0/packages/builtin/compare.pony:22:22: constraint: Comparable[Movie ref] #read
interface Comparable[A: Comparable[A] #read] is Equatable[A]
^
/home/pd/Develop/Secretary/src/ag-movies/movie.pony:65:3: val method is not a subtype of box method
fun val lt( other: Movie ): Bool =>
^
/home/pd/Develop/Secretary/src/ag-movies/movie.pony:65:3: Movie ref is not a subtype of Comparable[Movie ref] #read: method 'lt' has an incompatible signature
fun val lt( other: Movie ): Bool =>
^
/home/pd/Develop/Secretary/src/ag-movies/movie.pony:77:3: val method is not a subtype of box method
fun val eq( other: Movie ): Bool =>
^
/home/pd/Develop/Secretary/src/ag-movies/movie.pony:77:3: Movie ref is not a subtype of Comparable[Movie ref] #read: method 'eq' has an incompatible signature
fun val eq( other: Movie ): Bool =>
^
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment