blob: d93fb6e4cb8c407ca657e1c7577fdb7d5058d2e7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
-- Test :load! and :reload!
-- main is independent of functions with type errors and thus
-- executable after load
-- warnings on type errors are emitted nevertheless
:load! Defer03
-- fails to load module due to type errors
:load Defer03
-- succeeds again to load module
:reload!
-- also succeeds, because the module has not been touched since load
:reload
-- now, after touching, reloading should fail
:! touch Defer03.hs
:reload
-- using the deferred version of reload, loading should succeed again
:reload!
|
