diff options
| author | Ian Hinder <ian.hinder@aei.mpg.de> | 2012-01-29 23:53:17 -0600 |
|---|---|---|
| committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2012-01-29 23:53:17 -0600 |
| commit | 821a96dcd9f29cb4ed9fd3953a9fe6713d56e1c5 (patch) | |
| tree | 1e69993f9574855f648febebaf92c33395793e42 /Tools | |
| parent | 236a0028ce197db03d71f17bc9e4a01306686c9e (diff) | |
KrancScript.m: Make script processing errors fatal
Diffstat (limited to 'Tools')
| -rw-r--r-- | Tools/CodeGen/KrancScript.m | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/CodeGen/KrancScript.m b/Tools/CodeGen/KrancScript.m index 6847c84..6ba2536 100644 --- a/Tools/CodeGen/KrancScript.m +++ b/Tools/CodeGen/KrancScript.m @@ -48,7 +48,7 @@ process[h_[args___]] := Module[ {}, Print["No handler for ", h@@Map[ToString[Head[#]]&,{args}]]; - h[args]]; + ThrowError["Failed to parse script"]]; process[thorn:"thorn"[content___]] := Module[ |