# A sample Agda Guardfile
# More info at https://github.com/guard/guard#readme

guard :shell, :all_on_start => true do

  watch /.*\.l?hs$/ do |m|
    if m[0].scan("MAlonzo").empty?
      puts "\n\n\nCompiling #{m[0]} ..."
      `runghc -isrc #{m[0]} && echo "Compiled!"`
    end
  end
  
  watch "src/Hello" do
    puts "Running Hello ..."
    `./src/Hello`
  end
end