mirror of
https://github.com/nim-lang/Nim.git
synced 2025-12-29 09:24:36 +00:00
d3af51e3ce
updated version of #22193 After #22029 and the followups #23983 and #24005 which fixed issues with it, `tyFromExpr` no longer match any proc params in generic type bodies but delay all non-matching calls until the type is instantiated. Previously the mechanism `fauxMatch` was used to pretend that any failing match against `tyFromExpr` actually matched, but prevented the instantiation of the type until later. Since this mechanism is not needed anymore for `tyFromExpr`, it is now only used for `tyError` to prevent cascading errors and changed to a bool field for simplicity. A change in `semtypes` was also needed to prevent calling `fitNode` on default param values resolving to type `tyFromExpr` in generic procs for params with non-generic types, as this would try to coerce the expression into a concrete type when it can't be instantiated yet. The aliases `tyProxy` and `tyUnknown` for `tyError` and `tyFromExpr` are also removed for uniformity.
80 lines
2.9 KiB
Nim
80 lines
2.9 KiB
Nim
discard """
|
|
cmd: "nim check --hints:off --warnings:off $file"
|
|
action: "reject"
|
|
nimout:'''
|
|
tstatic_constrained.nim(44, 22) Error: cannot instantiate MyOtherType [type declared in tstatic_constrained.nim(30, 5)]
|
|
got: <typedesc[int], int literal(10)>
|
|
but expected: <T: float or string, Y>
|
|
tstatic_constrained.nim(44, 22) Error: cannot instantiate MyOtherType [type declared in tstatic_constrained.nim(30, 5)]
|
|
got: <typedesc[int], int literal(10)>
|
|
but expected: <T: float or string, Y>
|
|
tstatic_constrained.nim(44, 31) Error: object constructor needs an object type [error]
|
|
tstatic_constrained.nim(44, 31) Error: expression '' has no type (or is ambiguous)
|
|
tstatic_constrained.nim(45, 22) Error: cannot instantiate MyOtherType [type declared in tstatic_constrained.nim(30, 5)]
|
|
got: <typedesc[byte], uint8>
|
|
but expected: <T: float or string, Y>
|
|
tstatic_constrained.nim(45, 22) Error: cannot instantiate MyOtherType [type declared in tstatic_constrained.nim(30, 5)]
|
|
got: <typedesc[byte], uint8>
|
|
but expected: <T: float or string, Y>
|
|
tstatic_constrained.nim(45, 34) Error: object constructor needs an object type [error]
|
|
tstatic_constrained.nim(45, 34) Error: expression '' has no type (or is ambiguous)
|
|
tstatic_constrained.nim(77, 14) Error: cannot instantiate MyType [type declared in tstatic_constrained.nim(71, 5)]
|
|
got: <typedesc[float], float64>
|
|
but expected: <T: MyConstraint, Y>
|
|
'''
|
|
"""
|
|
block:
|
|
type
|
|
MyType[T; X: static T] = object
|
|
data: T
|
|
MyOtherType[T: float or string, Y: static T] = object
|
|
|
|
func f[T,X](a: MyType[T,X]): MyType[T,X] =
|
|
when T is string:
|
|
MyType[T,X](data: a.data & X)
|
|
else:
|
|
MyType[T,X](data: a.data + X)
|
|
|
|
discard MyType[int, 2](data: 1)
|
|
discard MyType[string, "Helelello"](data: "Hmmm")
|
|
discard MyType[int, 2](data: 1).f()
|
|
discard MyType[string, "Helelello"](data: "Hmmm").f()
|
|
discard MyOtherType[float, 1.3]()
|
|
discard MyOtherType[string, "Hello"]()
|
|
discard MyOtherType[int, 10]()
|
|
discard MyOtherType[byte, 10u8]()
|
|
|
|
block:
|
|
type
|
|
Moduloable = concept m, type M
|
|
m mod m is M
|
|
Addable = concept a, type A
|
|
a + a is A
|
|
Modulo[T: Moduloable; Mod: static T] = distinct T
|
|
ModuloAdd[T: Moduloable or Addable; Mod: static T] = distinct T
|
|
ModuAddable = Addable or Moduloable
|
|
ModdAddClass[T: ModuAddable; Mod: static T] = distinct T
|
|
|
|
proc toMod[T](val: T, modVal: static T): Modulo[T, modVal] =
|
|
mixin `mod`
|
|
Modulo[T, modVal](val mod modVal)
|
|
var
|
|
a = 3231.toMod(10)
|
|
b = 5483.toMod(10)
|
|
discard ModuloAdd[int, 3](0)
|
|
discard ModdAddClass[int, 3](0)
|
|
|
|
block:
|
|
type
|
|
MyConstraint = int or string
|
|
MyOtherConstraint[T] = object
|
|
MyType[T: MyConstraint; Y: static T] = object
|
|
MyOtherType[T: MyOtherConstraint; Y: static T] = object
|
|
|
|
var
|
|
a: MyType[int, 10]
|
|
b: MyType[string, "hello"]
|
|
c: MyType[float, 10d]
|
|
d: MyOtherType[MyOtherConstraint[float],MyOtherConstraint[float]()]
|
|
e: MyOtherType[MyOtherConstraint[int], MyOtherConstraint[int]()]
|