Daniel Kröni aa107a9754 Implemented %noinline (#2027) ... * Implemented %noinline * Removed trailing spaces. * Added missing case in Reify FnOpt * Added error message when both %inline and %noinline are set. * Added test. * Changed from perror to error		2021-10-19 15:22:36 +01:00
..
Reflection	Implemented %noinline (#2027)	2021-10-19 15:22:36 +01:00
Reflection.idr	Add try primitive to reflection library (#2008)	2021-10-16 11:24:12 +01:00