git.iko.soy/Idris-dev
on cbc8a13 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.idrMake 'Type' the type of types instead of Sets ...after mailing list discussion runWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)