Unable to create distinct tuple in a const with a type declaration

[Perelandric]

This code...

type
  DistTup = distinct tuple
    foo, bar: string

const d: DistTup = DistTup((
  foo:"FOO", bar:"BAR"
))

fails with...

Error: internal error: changeType: no tuple type for constructor
No stack traceback available

But it works with var and let, or if we drop the type declaration or drop the distinct.

Recompiling with ./koch temp c gives...

test.nim(6, 28) Error: internal error: changeType: no tuple type for constructor
Traceback (most recent call last)
nim.nim(94)              nim
nim.nim(56)              handleCmdLine
main.nim(252)            mainCommand
main.nim(63)             commandCompileToC
modules.nim(203)         compileProject
modules.nim(151)         compileModule
passes.nim(197)          processModule
passes.nim(137)          processTopLevelStmt
sem.nim(450)             myProcess
sem.nim(424)             semStmtAndGenerateGenerics
semstmts.nim(1408)       semStmt
semexprs.nim(906)        semExprNoType
semexprs.nim(2218)       semExpr
semstmts.nim(494)        semConst
semstmts.nim(304)        fitRemoveHiddenConv
sem.nim(91)              fitNode
semexprs.nim(451)        changeType
msgs.nim(842)            internalError
msgs.nim(816)            liMessage
msgs.nim(715)            handleError
FAILURE

Nim Compiler Version 0.11.2 (2015-05-15) [Linux: amd64]
Copyright (c) 2006-2015 by Andreas Rumpf

git hash: c30d7c3
active boot switches: -d:release

[Araq]

Sure that's a bug but a "distinct tuple" makes no sense, that is an "object" then.

[Perelandric]

@Araq

Came across it while looking for a workaround for #2664 so I thought I'd write up a report. A tuple just happened to be a type I was experimenting with.

[genotrance]

No longer crashes with #head.

-------- SNIPPET --------
# Snippet not defined as ```nim

type
  DistTup = distinct tuple
    foo, bar: string

const d: DistTup = DistTup((
  foo:"FOO", bar:"BAR"
))
-------------------------

-------- OUTPUT --------
Hint: used config file 'c:\Users\gt\Desktop\dl\programming\nimdevel\config\nim.cfg' [Conf]
Hint: system [Processing]
Hint: temp [Processing]
temp.nim(7, 28) Error: no tuple type for constructor
------------------------

-------- NIMTEMP --------
Hint: used config file 'c:\Users\gt\Desktop\dl\programming\nimdevel\config\nim.cfg' [Conf]
Hint: system [Processing]
Hint: temp [Processing]
temp.nim(7, 28) Error: no tuple type for constructor
Traceback (most recent call last)
nim.nim(121)             nim
nim.nim(77)              handleCmdLine
main.nim(173)            mainCommand
main.nim(77)             commandCompileToC
modules.nim(242)         compileProject
modules.nim(182)         compileModule
passes.nim(250)          processModule
passes.nim(139)          processTopLevelStmt
sem.nim(576)             myProcess
sem.nim(544)             semStmtAndGenerateGenerics
semstmts.nim(1975)       semStmt
semexprs.nim(797)        semExprNoType
semexprs.nim(2402)       semExpr
semstmts.nim(620)        semConst
semstmts.nim(339)        fitRemoveHiddenConv
sem.nim(89)              fitNode
semexprs.nim(371)        changeType
msgs.nim(1049)           globalError
msgs.nim(1037)           liMessage
msgs.nim(891)            handleError
msgs.nim(876)            quit
-------------------------

-------- VERSION --------
Nim Compiler Version 0.18.1 [Windows: i386]
Copyright (c) 2006-2018 by Andreas Rumpf

git hash: 9d4fd1f1bbc0d8a2327699dd07283260d85a5245
active boot switches: -d:release
-------------------------

[genotrance]

Per Araq, even though this doesn't crash anymore, it still needs to be fixed to compile.