replacing [Char] with String when inserting inferred type.
Johannes Krause <cjay>
This commit is contained in:
parent
cf16c62c3a
commit
2f1ab4e71d
@ -76,14 +76,15 @@
|
|||||||
(cond
|
(cond
|
||||||
((string-match "Inferred type: \\([^:]+ :: \\)\\(forall [^.]+\\. \\)?\\([^\0]*\\)" data)
|
((string-match "Inferred type: \\([^:]+ :: \\)\\(forall [^.]+\\. \\)?\\([^\0]*\\)" data)
|
||||||
(beginning-of-line)
|
(beginning-of-line)
|
||||||
(insert (match-string 1 data) (match-string 3 data) "\n"))
|
(insert (match-string 1 data)
|
||||||
|
(replace-regexp-in-string "\\[Char\\]" "String" (match-string 3 data))
|
||||||
|
"\n"))
|
||||||
((string-match "Not in scope: `\\([^']+\\)'" data)
|
((string-match "Not in scope: `\\([^']+\\)'" data)
|
||||||
(save-match-data
|
(save-match-data
|
||||||
(unless (re-search-forward "^$" nil t)
|
(unless (re-search-forward "^$" nil t)
|
||||||
(goto-char (point-max))
|
(goto-char (point-max))
|
||||||
(insert "\n")))
|
(insert "\n")))
|
||||||
(insert "\n" (match-string 1 data) " = undefined\n"))))))
|
(insert "\n" (match-string 1 data) " = undefined\n"))))))
|
||||||
|
|
||||||
|
|
||||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user