Passing generics to DynamicVector

I'm trying to understand the traits system and am working with a toy

list

list

struct from this thread

The original declaration (which works) starts with:

@value
struct list[T: CollectionElement](Sized):
    var _internal_vector: DynamicVector[T]

@value
struct list[T: CollectionElement](Sized):
    var _internal_vector: DynamicVector[T]

In the above I can declare a list of strings with

list[String]

list[String]

I have tried to add the ability to print items in the

list

list

, but

CollectionElement

CollectionElement

s aren't accepted by

str

str

(errors with "no matching function in call to 'str'"), so I tried making a trait that inherits from both requirements:

trait ListElement(CollectionElement, Stringable):
    ...

@value
struct list[T: ListElement](Sized):

trait ListElement(CollectionElement, Stringable):
    ...

@value
struct list[T: ListElement](Sized):

This removes the compile error in my print method, but then I can no longer declare

list[String]

list[String]

. In this declaration

fn read_strings_from_file(file_name: String) raises -> list[String]:

fn read_strings_from_file(file_name: String) raises -> list[String]:

the compiler errors with "'list' parameter #0 has 'ListElement' type, but value has type 'String'". But it seems like

String

String

should satisfy my new trait since it satisfied

CollectionElement

CollectionElement

and should certainly satisfy

Stringable

Stringable

. Am I doing something wrong, or is this a current bug/limitation of Mojo?

GitHub

[BUG]: Mojo is getting confused in 0.6.0 with overloading and slice...

Bug description The compiler is choosing the wrong overload, making it break the program at runtime. Steps to reproduce Consider the following code: @value struct list[T: CollectionElement]: var _i...

Modular•3y ago

rdickert

Passing generics to DynamicVector

I'm trying to understand the traits system and am working with a toy

list

list

struct from this thread

The original declaration (which works) starts with:

@value
struct list[T: CollectionElement](Sized):
    var _internal_vector: DynamicVector[T]

@value
struct list[T: CollectionElement](Sized):
    var _internal_vector: DynamicVector[T]

In the above I can declare a list of strings with

list[String]

list[String]

I have tried to add the ability to print items in the

list

list

, but

CollectionElement

CollectionElement

s aren't accepted by

str

str

(errors with "no matching function in call to 'str'"), so I tried making a trait that inherits from both requirements:

trait ListElement(CollectionElement, Stringable):
    ...

@value
struct list[T: ListElement](Sized):

trait ListElement(CollectionElement, Stringable):
    ...

@value
struct list[T: ListElement](Sized):

This removes the compile error in my print method, but then I can no longer declare

list[String]

list[String]

. In this declaration

fn read_strings_from_file(file_name: String) raises -> list[String]:

fn read_strings_from_file(file_name: String) raises -> list[String]:

the compiler errors with "'list' parameter #0 has 'ListElement' type, but value has type 'String'". But it seems like

String

String

should satisfy my new trait since it satisfied

CollectionElement

CollectionElement

and should certainly satisfy

Stringable

Stringable

. Am I doing something wrong, or is this a current bug/limitation of Mojo?

GitHub

[BUG]: Mojo is getting confused in 0.6.0 with overloading and slice...

Passing generics to DynamicVector

Similar Threads

Passing generics to DynamicVector

Similar Threads

Similar Threads

Similar Threads