[ cleanup ] remove unused code left in #3108

idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.46k stars 369 forks source link

[ cleanup ] remove unused code left in #3108 #3323

Closed dunhamsteve closed 2 weeks ago

dunhamsteve commented 2 weeks ago

The changes in #3108 remove the arity argument from findSCcall, but left some code that was doing a type lookup to compute the arity. This PR removes that vestigial code.

mjustus commented 2 weeks ago

Thanks!