constraint_generator.go():   commented out the call to check_constraint(), it really slows down type solving. [need to make it an option]
constraint_generator.go():
  commented out the call to check_constraint(), it really slows down type solving. [need to make it an option]


samrushing/irken-compiler,samrushing/irken-compiler,samrushing/irken-compiler,samrushing/irken-compiler