diff options
| author | hallgren <hallgren@chalmers.se> | 2012-02-21 16:58:18 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-02-21 16:58:18 +0000 |
| commit | 2eddc116e676b249d300e930263255bfab057622 (patch) | |
| tree | 83102f3dc9445701ffeb3444722558b5398ac6a6 /src/www/gfse/cloud2.js | |
| parent | 5403e31264f25c5a2d93d978a6a2ed66eb9a1929 (diff) | |
gfse: edit abstract syntax in text mode with instant syntax error reporting
This is an experimental feature. It requires server support for parsing and is
thus not available while offline, unlike most other editing functionality.
Diffstat (limited to 'src/www/gfse/cloud2.js')
| -rw-r--r-- | src/www/gfse/cloud2.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/www/gfse/cloud2.js b/src/www/gfse/cloud2.js index 8d33315bd..02af9d91a 100644 --- a/src/www/gfse/cloud2.js +++ b/src/www/gfse/cloud2.js @@ -193,6 +193,12 @@ function gfshell(cmd,cont) { }) } +// Check the syntax of a source module +function check_module(path,source,cont) { + var enc=encodeURIComponent; + http_get_json("/parse?"+enc(path)+"="+enc(source),cont) +} + // Check the syntax of an expression function check_exp(s,cont) { function check(gf_message) { |
