Jon Ross-Perkins 0a727c32e9 Change min_prelude to use EXTRA-ARGS and INCLUDE-FILE (#5625) 11 meses atrás
..
builtin 04d534abee Remove the no_prelude directory, using --no-prelude-import directly (#5607) 11 meses atrás
call 0a727c32e9 Change min_prelude to use EXTRA-ARGS and INCLUDE-FILE (#5625) 11 meses atrás
declaration 0a727c32e9 Change min_prelude to use EXTRA-ARGS and INCLUDE-FILE (#5625) 11 meses atrás
definition 0a727c32e9 Change min_prelude to use EXTRA-ARGS and INCLUDE-FILE (#5625) 11 meses atrás
generic 0a727c32e9 Change min_prelude to use EXTRA-ARGS and INCLUDE-FILE (#5625) 11 meses atrás