blob: 472333ed5731ff4bba65041ddba3f63523953573 (
plain)
1
2
3
4
5
6
7
8
|
rn050.hs:13:7: Warning:
In the use of ‘op’ (imported from Rn050_A):
Deprecated: "Use bop instead"
rn050.hs:13:10: Warning:
In the use of data constructor ‘C’ (imported from Rn050_A):
Deprecated: "Use D instead"
|