Stack overflow on compiler

[fernandes]

Here is the carc that reproduces:

https://carc.in/#/r/ypb

I feel bad opening an issue with this title / description, but I'm not able to track it further

//cc @jhass

[asterite]

I was able to reduce it further, but basically the problem is that the compiler isn't giving you an error for the @klass instance variable. In short, you can't have a variable with such type. Once I fix this you'll have to find another way to model this.

[asterite]

Oh, didn't see @jhass came to almost the same conclusion...

[asterite]

Reduced further to this:

require "spec"

class BlockHolder(T)
  def initialize(@klass : Class)
  end

  def klass
    @klass
  end
end

class Song
  @@block_holder : BlockHolder(Int32)?

  def self.build
    klass = @@block_holder.try &.klass
    klass.inspect
  end
end

describe "" do
  it "" do
    Song.build
  end
end

[jhass]

Reduced further

class BlockHolder(T)
  def initialize(klass_name : Class)
    @klass = klass_name
  end

  def call
    @klass
  end
end

class Song
  @@block_holder : BlockHolder(Song.class)?

  def self.build
    @@block_holder.try &.call
  end
end

class DotFormatter
  LETTERS = 1
  def report
    LETTERS + 1
  end
end

Song.build.class
DotFormatter.new.report

[fernandes]

@asterite no problem, @jhass (thank you!) helped me with a better solution... just reporting to improve the language (amazing work btw 😄 👍 )

[fernandes]

🙇 👍