blob: 5a743503411a7f75dc401730969d7b30f229ce9e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
:set -v1
System.IO.writeFile "T1914A.hs" "module T1914A where { import T1914B; }"
System.IO.writeFile "T1914B.hs" "module T1914B where { type T = Int; }"
-- hack: avoid the need for sleep by using specific timestamps:
:! touch -t 01010000 T1914A.hs
:! touch -t 01010000 T1914B.hs
:load T1914A
System.IO.writeFile "T1914A.hs" "module T1914A where { import T1914B; oops }"
:! touch -t 01010001 T1914A.hs
:reload
-- T1914B should still be loaded
:module *T1914B
System.IO.writeFile "T1914A.hs" "module T1914A where { import T1914B; }"
:! touch -t 01010002 T1914A.hs
:reload
-- should not have to reload T1914B
|
