class TypedRb::Model::TmError

Public Class Methods

new(node) click to toggle source
Calls superclass method TypedRb::Model::Expr::new
# File lib/typed/model/tm_error.rb, line 6
def initialize(node)
  super(node)
end

Public Instance Methods

check_type(_context) click to toggle source
# File lib/typed/model/tm_error.rb, line 10
def check_type(_context)
  Types::TyError.new(node)
end