From 59b9676fd1b85500b7a66e957542af6dea66c53e Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Tue, 27 Nov 2012 12:00:41 +0000 Subject: Syntax editor; add new helper for parsing type signatures (not complete) --- src/www/syntax-editor/editor.js | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'src/www/syntax-editor/editor.js') diff --git a/src/www/syntax-editor/editor.js b/src/www/syntax-editor/editor.js index 8cf31921b..b2936e898 100644 --- a/src/www/syntax-editor/editor.js +++ b/src/www/syntax-editor/editor.js @@ -198,14 +198,12 @@ Editor.prototype.select_refinement=function(fun) { // Parse out function arguments var def = t.grammar_constructors.funs[fun].def; - def = def.substr(def.lastIndexOf(":")+1); - var fun_args = map(function(s){return s.trim()}, def.split("->")) - fun_args = fun_args.slice(0,-1); + var typeobj = AST.parse_type_signature(def); - if (fun_args.length > 0) { + if (typeobj.args.length > 0) { // Add placeholders - for (ci in fun_args) { - t.ast.add(null, fun_args[ci]); + for (var i in typeobj.args) { + t.ast.add(null, typeobj.args[i]); } } -- cgit v1.2.3