Revert "Merge pull request #3896 from melted/codegen_rws"
Revert "Merge pull request #3896 from melted/codegen_rws"

This reverts commit e471a1c8f76ae90492027001124471f70086de98, reversing
changes made to f2c4091990e0ad2629d18480b6a3b1a582dcb7e0.

uuhan/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev