(function(module) {   module.controller("thectrl", function() {
    console.log("ABC");
});

window.yesod_devel_scripts["mod2/ctrl.js"] = true;
window.yesod_devel_check_loaded();
})(angular.module("mod2"));