Case splitting in M-t and initial-code in C-u M-t

This commit is contained in:
Alejandro Serrano
2014-08-14 17:59:46 +02:00
parent 7ecb66f32e
commit 8eeeacd58d
4 changed files with 7 additions and 19 deletions

View File

@@ -33,18 +33,6 @@
(insert (ghc-sinfo-get-info info)) )
)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;
;;; Combined rewriting
;;;
(defun ghc-try-rewrite ()
"Try to apply initial code generation and case splitting"
(interactive)
(when (null (ghc-try-initial-code-from-signature))
(ghc-try-case-split)))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;
;;; Case splitting