Class: Yadriggy::TypeChecker::TypeEnv::BaseTypeEnv

Inherits:
Yadriggy::TypeChecker::TypeEnv show all
Defined in:
lib/yadriggy/typecheck.rb

Instance Method Summary collapse

Methods inherited from Yadriggy::TypeChecker::TypeEnv

#bind_name, #bound_name?, #each, #new_base_tenv, #new_tenv

Constructor Details

#initialize(clazz) ⇒ BaseTypeEnv

Returns a new instance of BaseTypeEnv.



86
87
88
89
 
# File 'lib/yadriggy/typecheck.rb', line 86

def initialize(clazz)
  super(nil)
  @clazz = clazz
end

Instance Method Details

#context ⇒ Object 



91
92
93
 
# File 'lib/yadriggy/typecheck.rb', line 91

def context
  @clazz
end