diff options
Diffstat (limited to 'base.lisp')
| -rw-r--r-- | base.lisp | 32 |
1 files changed, 19 insertions, 13 deletions
@@ -1,14 +1,19 @@ (in-package #:monparser) -(defstruct parsing +(defstruct result) + +(defstruct (parsing (:include result)) tree - start - end) + (start (make-instance 'cursor) :type cursor) + (end (make-instance 'cursor) :type cursor)) + +(defstruct (failure (:include result)) + (place (make-instance 'cursor) :type cursor) + (message "" :type string) + (priority 0 :type integer)) -(defstruct failure - place - (message "") - (priority 0)) +(deftype parser () + `(function (cursor cursor) result)) (defun line-and-column (str index) (let ((line 1) (column 1)) @@ -22,22 +27,23 @@ (cons line column))) (defmethod print-object ((obj failure) stream) - (if (failure-place obj) - (let ((linecol (line-and-column (data (failure-place obj)) - (index (failure-place obj))))) - (format stream "~a:~a: ~a~&~a~&" - (car linecol) (cdr linecol) (failure-message obj) (failure-place obj))) - (format stream "~a~&" (failure-message obj)))) + (let ((linecol (line-and-column (data (failure-place obj)) + (index (failure-place obj))))) + (format stream "~a:~a: ~a~&~a~&" + (car linecol) (cdr linecol) (failure-message obj) (failure-place obj)))) +(declaim (ftype (function (t &key (:priority integer)) parser) fail)) (defun fail (message &key (priority 1)) (lambda (start input) (declare (ignore start)) (make-failure :place input :message message :priority priority))) +(declaim (ftype (function (t) parser) new)) (defun new (tree) (lambda (start input) (make-parsing :tree tree :start start :end input))) +(declaim (ftype (function (parser (function (result) parser)) parser) bind)) (defun bind (parser f) (lambda (start input) (let ((r (funcall parser input input))) |