Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Static + type conversion in type section for ranges #7609

Closed
mratsim opened this issue Apr 14, 2018 · 0 comments
Closed

Static + type conversion in type section for ranges #7609

mratsim opened this issue Apr 14, 2018 · 0 comments
Labels
Static[T]

Comments

@mratsim
Copy link
Collaborator

mratsim commented Apr 14, 2018

The following with static[int8] compiles:

type
  Coord*[N: static[int8]] = tuple[col, row: range[0'i8 .. (N-1)]]
  Point*[N: static[int8]] = range[0'i16 .. N.int16 * N.int16 - 1]

But with static[int] it doesn't.
Error: type mismatch: got <N> but expected 'int8'

type
  Coord*[N: static[int]] = tuple[col, row: range[0'i8 .. (N.int8-1)]]
  Point*[N: static[int]] = range[0'i16 .. N.int16 * N.int16 - 1]
@ghost ghost added the Static[T] label Apr 14, 2018
@mratsim mratsim mentioned this issue Jan 6, 2019
Open
LemonBoy added a commit to LemonBoy/Nim that referenced this issue Jan 19, 2019
@LemonBoy
Proper check for tyStatic[T] -> U conversions
ba68f72 
Drop the outer tyStatic shell then perform the check.

Fixes nim-lang#7609
@LemonBoy LemonBoy mentioned this issue Jan 19, 2019
Merged
Araq pushed a commit that referenced this issue Jan 21, 2019
@LemonBoy @Araq
Proper check for tyStatic[T] -> U conversions (#10382)
ae5d8fb 
Drop the outer tyStatic shell then perform the check.

Fixes #7609
ThomasTJdev pushed a commit to ThomasTJdev/Nim that referenced this issue Jan 27, 2019
@LemonBoy @ThomasTJdev
Proper check for tyStatic[T] -> U conversions (nim-lang#10382)
dab3ebd 
Drop the outer tyStatic shell then perform the check.

Fixes nim-lang#7609
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Static[T]
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mratsim