88714e77d8
As shown in #7734 and #7733 the logic in typerel fails to determine that `type Foo` and `type Foo` are indeed equal. Fixes #7734
19 lines
369 B
Nim
19 lines
369 B
Nim
type
|
|
Foo[T: SomeFloat] = object
|
|
learning_rate: T
|
|
|
|
Bar[T: SomeFloat] = object
|
|
learning_rate: T
|
|
momentum: T
|
|
|
|
Model = object
|
|
weight: int
|
|
|
|
FooClass = Foo or Bar
|
|
|
|
|
|
proc optimizer[M; T: SomeFloat](model: M, _: typedesc[Foo], learning_rate: T): Foo[T] =
|
|
result.learning_rate = learning_rate
|
|
|
|
let a = Model(weight: 1)
|
|
let opt = a.optimizer(Foo, 10.0)
|