1914.script 512 Bytes
Newer Older
Simon Marlow's avatar
Simon Marlow committed
1
:set -v1
2
3
System.IO.writeFile "A.hs" "module A where { import B; }"
System.IO.writeFile "B.hs" "module B where { type T = Int; }"
Simon Marlow's avatar
Simon Marlow committed
4
5
6
7
-- hack: avoid the need for sleep by using specific timestamps:
:! touch -t 01010000 A.hs
:! touch -t 01010000 B.hs
:load A
8
System.IO.writeFile "A.hs" "module A where { import B; oops }"
Simon Marlow's avatar
Simon Marlow committed
9
10
11
12
:! touch -t 01010001 A.hs
:reload
-- B should still be loaded
:module *B
13
System.IO.writeFile "A.hs" "module A where { import B; }"
Simon Marlow's avatar
Simon Marlow committed
14
15
16
:! touch -t 01010002 A.hs
:reload
-- should not have to reload B