git.iko.soy/Idris-dev
on f855d0f help sign in
Idris-dev/test/reg001
3 files
../ expectedWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records) reg001.idrWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records) runWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)