Skip to content

Commit

Permalink
Address some byte compile warnings (towards #130)
Browse files Browse the repository at this point in the history
  • Loading branch information
countvajhula committed Apr 18, 2024
1 parent 9354caf commit db8ac5b
Show file tree
Hide file tree
Showing 15 changed files with 25 additions and 25 deletions.
4 changes: 2 additions & 2 deletions symex-computations.el
Original file line number Diff line number Diff line change
Expand Up @@ -73,13 +73,13 @@ computations.
FILTER - a predicate function to be applied to results from nested computations
to select those that will factor into the decision.
DECIDE - a binary function to be applied in combining results from nested
computations (each of the 'perceived' type) to yield the provisional result
computations (each of the \"perceived\" type) to yield the provisional result
\(also of the perceived type).
EXPRESS - a function to transform data of the perceived type (e.g. the
type produced by the decision) to the application type (the type that can be
used by the application).
ACT - a binary function to be applied in combining results from the overall
computation (each of the 'expressed' type) to yield the final result
computation (each of the \"expressed\" type) to yield the final result
\(also of the expressed type)."
(list 'computation
components
Expand Down
4 changes: 2 additions & 2 deletions symex-data.el
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@
;;;;;;;;;;;;;;;;;;;;;;;;;

(defun symex-make-move (x y)
"Construct a tree 'move'.
"Construct a tree \"move\".
A move represents the number of steps to be taken along the X or
forward-backward axis, and the Y or in-out axis."
Expand Down Expand Up @@ -108,7 +108,7 @@ executed traversal is reversed if this returns false."
(defun symex--precaution-traversal (precaution)
"The traversal component of the PRECAUTION.
This is the traversal that is to be executed 'with precautions'."
This is the traversal that is to be executed \"with precautions\"."
(nth 1 precaution))

(defun symex--precaution-pre-condition (precaution)
Expand Down
2 changes: 1 addition & 1 deletion symex-dsl.el
Original file line number Diff line number Diff line change
Expand Up @@ -224,7 +224,7 @@ a detour, a move, etc., which is specified using the Symex DSL."
NAME is the name of the traversal. The defined traversal will be
assigned to a variable with this name.
TRAVERSAL is the specification of the traversal in the Symex DSL.
This can be thought of as the 'program' written in the DSL, which
This can be thought of as the \"program\" written in the DSL, which
will be compiled into Lisp and can be executed when needed.
An optional DOCSTRING will be used as documentation for the variable
NAME to which the traversal is assigned."
Expand Down
2 changes: 1 addition & 1 deletion symex-evaluator.el
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@
Evaluates to the actual move executed or nil if no move was executed.
Optional argument COMPUTATION currently unused.
This interface is an 'abstraction barrier' to keep the details of the
This interface is an \"abstraction barrier\" to keep the details of the
elementary navigation of symexes as a black box. The implementation
of these elementary operations could be changed in the future (e.g. to
incorporate an explicit AST representation for greater precision) without
Expand Down
2 changes: 1 addition & 1 deletion symex-interface-arc.el
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ Accounts for different point location in evil vs Emacs mode."
(symex-eval-arc))

(defun symex-eval-thunk-arc ()
"Evaluate symex as a 'thunk,' i.e. as a function taking no arguments."
"Evaluate symex as a \"thunk,\" i.e. as a function taking no arguments."
(interactive)
(let ((thunk-code (string-join
`("("
Expand Down
2 changes: 1 addition & 1 deletion symex-interface-clojure.el
Original file line number Diff line number Diff line change
Expand Up @@ -53,7 +53,7 @@ Accounts for different point location in evil vs Emacs mode."
(cider-pprint-eval-last-sexp))

(defun symex-eval-thunk-clojure ()
"Evaluate symex as a 'thunk,' i.e. as a function taking no arguments."
"Evaluate symex as a \"thunk,\" i.e. as a function taking no arguments."
(interactive)
(message "eval as thunk currently not supported for Clojure"))

Expand Down
2 changes: 1 addition & 1 deletion symex-interface-common-lisp.el
Original file line number Diff line number Diff line change
Expand Up @@ -69,7 +69,7 @@ Accounts for different point location in evil vs Emacs mode."
(symex-eval-common-lisp))

(defun symex-eval-thunk-common-lisp ()
"Evaluate symex as a 'thunk,' i.e. as a function taking no arguments."
"Evaluate symex as a \"thunk,\" i.e. as a function taking no arguments."
(interactive)
;; can use slime-interactive-eval
(message "eval as thunk currently not supported for Common Lisp"))
Expand Down
2 changes: 1 addition & 1 deletion symex-interface-elisp.el
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@
(symex-eval-elisp))

(defun symex-eval-thunk-elisp ()
"Evaluate symex as a 'thunk,' i.e. as a function taking no arguments."
"Evaluate symex as a \"thunk,\" i.e. as a function taking no arguments."
(interactive)
;; can use (eval (car (read-from-string thunk-code)))
(message "eval as thunk currently not supported for ELisp"))
Expand Down
2 changes: 1 addition & 1 deletion symex-interface-racket.el
Original file line number Diff line number Diff line change
Expand Up @@ -96,7 +96,7 @@ Accounts for different point location in evil vs Emacs mode."
(symex--racket-send-to-repl pretty-code)))

(defun symex-eval-thunk-racket ()
"Evaluate symex as a 'thunk,' i.e. as a function taking no arguments."
"Evaluate symex as a \"thunk,\" i.e. as a function taking no arguments."
(interactive)
(let ((thunk-code (string-join
`("("
Expand Down
2 changes: 1 addition & 1 deletion symex-interface-scheme.el
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,7 @@
(symex-eval-scheme))

(defun symex-eval-thunk-scheme ()
"Evaluate symex as a 'thunk,' i.e. as a function taking no arguments."
"Evaluate symex as a \"thunk,\" i.e. as a function taking no arguments."
(interactive)
(message "eval as thunk currently not supported for Scheme"))

Expand Down
6 changes: 3 additions & 3 deletions symex-interop.el
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,7 @@
If entering symex mode from Insert or Emacs mode, then translate point
so it indicates the appropriate symex in Symex mode. This is necessary
because in Emacs, the symex preceding point is indicated. In Vim, the
symex 'under' point is indicated. We want to make sure to select the
symex \"under\" point is indicated. We want to make sure to select the
right symex when we enter Symex mode."
(interactive)
(when (or (not (symex--evil-installed-p))
Expand Down Expand Up @@ -81,7 +81,7 @@ right symex when we enter Symex mode."
(and (symex--evil-installed-p) (not evil-mode)))

(defun symex-escape-higher ()
"Exit symex mode via an 'escape'."
"Exit symex mode via an \"escape\"."
(interactive)
(cond ((symex--rigpa-enabled-p)
(rigpa-enter-higher-level))
Expand All @@ -90,7 +90,7 @@ right symex when we enter Symex mode."
(t (evil-emacs-state))))

(defun symex-enter-lower ()
"Exit symex mode via an 'enter'."
"Exit symex mode via an \"enter\"."
(interactive)
(cond ((symex--rigpa-enabled-p)
(rigpa-enter-lower-level))
Expand Down
8 changes: 4 additions & 4 deletions symex-misc.el
Original file line number Diff line number Diff line change
Expand Up @@ -124,7 +124,7 @@
Eval starting at the leaves and proceed down to the root, similarly
to how the Lisp interpreter does it (when it is following
'applicative-order evaluation')."
\"applicative-order evaluation\")."
(interactive)
(save-excursion
(symex-execute-traversal (symex-traversal
Expand Down Expand Up @@ -431,19 +431,19 @@ the height at every step of the traversal which itself is logarithmic
in the size of the tree, making the cost O(nlog(n)).
There are at least two possible ways in which we could implement this
'leap' feature: first, as a \"local\" traversal from the starting
\"leap\" feature: first, as a \"local\" traversal from the starting
position, keeping track of changes to the height while traversing and
stopping when a suitable destination point is reached. This would be
efficient since we would only need to determine the height once, at the
start, making it O(n). However, this approach would require some
notion of 'memory' to be built into the DSL semantics, which at
notion of \"memory\" to be built into the DSL semantics, which at
present it lacks (representing a theoretical limitation on the types
of traversals expressible in the DSL in its present form).
A second way to do it is in \"global\" terms -- rather than keeping
track of changing height in the course of the traversal, instead,
determine always from a common reference point (the root) the current
height. This allows us to circumvent the need for 'memory' since this
height. This allows us to circumvent the need for \"memory\" since this
information could be computed afresh at each step. This latter
approach is the one employed here."
(let ((traverse (if soar
Expand Down
4 changes: 2 additions & 2 deletions symex-primitives-lisp.el
Original file line number Diff line number Diff line change
Expand Up @@ -194,7 +194,7 @@
(looking-at (concat "#" lispy-left)))

(defun symex--special-left-p ()
"Check if point is at a 'special' opening delimiter.
"Check if point is at a \"special\" opening delimiter.
This includes any special cases that should be treated as lists for
the purpose of movement, such as quoted lists and Lisp flavor-specific
Expand All @@ -211,7 +211,7 @@ as special cases here."
(symex--clojure-literal-lambda-p)))

(defun symex--special-empty-list-p ()
"Check if we're looking at a 'special' empty list."
"Check if we're looking at a \"special\" empty list."
(or (save-excursion
(and (symex--racket-splicing-unsyntax-p)
(progn (forward-char 5)
Expand Down
6 changes: 3 additions & 3 deletions symex-transformations.el
Original file line number Diff line number Diff line change
Expand Up @@ -386,7 +386,7 @@ in the parent symex."
(symex-tidy))

(defun symex-splice ()
"Splice or 'clip' symex.
"Splice or \"clip\" symex.
If the symex is a nested list, this operation eliminates the symex,
putting its contents in the parent symex. If the symex is an atom,
Expand Down Expand Up @@ -707,7 +707,7 @@ effect is not performed during the pre-traversal."
"Properly tidy things up.
This operates on the subtree indicated by the selection, rather than
on the entire tree. Ordinarily this would require 'remembering' the
on the entire tree. Ordinarily this would require \"remembering\" the
initial location on the tree while traversing and collapsing the
subexpressions, a feature (memory) that is absent in the Symex DSL.
But the present implementation gets around the need for memory by
Expand All @@ -727,7 +727,7 @@ implementation."
"Collapse a symex to a single line.
This operates on the subtree indicated by the selection, rather than
on the entire tree. Ordinarily this would require 'remembering' the
on the entire tree. Ordinarily this would require \"remembering\" the
initial location on the tree while traversing and collapsing the
subexpressions, a feature (memory) that is absent in the Symex DSL.
But the present implementation gets around the need for memory by
Expand Down
2 changes: 1 addition & 1 deletion symex-ts.el
Original file line number Diff line number Diff line change
Expand Up @@ -122,7 +122,7 @@ point movement (e.g. `(move -1 0)' for a move \"upward\").
Move COUNT times, defaulting to 1.
Return a Symex move (list with x,y node offsets tagged with
'move) or nil if no movement was performed."
`move') or nil if no movement was performed."
(let ((target-node nil)
(move symex--move-zero)
(cursor (symex-ts-get-current-node)))
Expand Down

0 comments on commit db8ac5b

Please sign in to comment.