diff --git a/influxdb_influxql_parser/src/common.rs b/influxdb_influxql_parser/src/common.rs
index 8eb052af7e..555f83db96 100644
--- a/influxdb_influxql_parser/src/common.rs
+++ b/influxdb_influxql_parser/src/common.rs
@@ -2,13 +2,13 @@
 
 use crate::expression::{conditional_expression, Expr};
 use crate::identifier::{identifier, Identifier};
+use crate::internal::{expect, map_fail, ParseResult};
 use core::fmt;
 use nom::branch::alt;
 use nom::bytes::complete::{tag, tag_no_case};
-use nom::character::complete::{digit1, line_ending, multispace0, multispace1};
-use nom::combinator::{cut, eof, map, map_res, opt, value};
-use nom::sequence::{delimited, pair, preceded, terminated};
-use nom::IResult;
+use nom::character::complete::{char, digit1, multispace1};
+use nom::combinator::{map, opt, value};
+use nom::sequence::{pair, preceded, terminated};
 use std::fmt::Formatter;
 
 /// Represents a fully-qualified measurement name.
@@ -48,7 +48,7 @@ impl fmt::Display for MeasurementNameExpression {
 }
 
 /// Match a 3-part measurement name expression.
-pub fn measurement_name_expression(i: &str) -> IResult<&str, MeasurementNameExpression> {
+pub fn measurement_name_expression(i: &str) -> ParseResult<&str, MeasurementNameExpression> {
     let (remaining_input, (opt_db_rp, name)) = pair(
         opt(alt((
             // database "." retention_policy "."
@@ -84,30 +84,39 @@ pub fn measurement_name_expression(i: &str) -> IResult<&str, MeasurementNameExpr
 }
 
 /// Parse an unsigned integer.
-fn unsigned_number(i: &str) -> IResult<&str, u64> {
-    map_res(digit1, |s: &str| s.parse())(i)
+fn unsigned_number(i: &str) -> ParseResult<&str, u64> {
+    map_fail("unable to parse unsigned integer", digit1, &str::parse)(i)
 }
 
 /// Parse a LIMIT <n> clause.
-pub fn limit_clause(i: &str) -> IResult<&str, u64> {
-    preceded(pair(tag_no_case("LIMIT"), multispace1), unsigned_number)(i)
+pub fn limit_clause(i: &str) -> ParseResult<&str, u64> {
+    preceded(
+        pair(tag_no_case("LIMIT"), multispace1),
+        expect(
+            "invalid LIMIT clause, expected unsigned integer",
+            unsigned_number,
+        ),
+    )(i)
 }
 
 /// Parse an OFFSET <n> clause.
-pub fn offset_clause(i: &str) -> IResult<&str, u64> {
-    preceded(pair(tag_no_case("OFFSET"), multispace1), unsigned_number)(i)
+pub fn offset_clause(i: &str) -> ParseResult<&str, u64> {
+    preceded(
+        pair(tag_no_case("OFFSET"), multispace1),
+        expect(
+            "invalid OFFSET clause, expected unsigned integer",
+            unsigned_number,
+        ),
+    )(i)
 }
 
 /// Parse a terminator that ends a SQL statement.
-pub fn statement_terminator(i: &str) -> IResult<&str, ()> {
-    let (remaining_input, _) =
-        delimited(multispace0, alt((tag(";"), line_ending, eof)), multispace0)(i)?;
-
-    Ok((remaining_input, ()))
+pub fn statement_terminator(i: &str) -> ParseResult<&str, ()> {
+    value((), char(';'))(i)
 }
 
 /// Parse a `WHERE` clause.
-pub(crate) fn where_clause(i: &str) -> IResult<&str, Expr> {
+pub fn where_clause(i: &str) -> ParseResult<&str, Expr> {
     preceded(
         pair(tag_no_case("WHERE"), multispace1),
         conditional_expression,
@@ -144,7 +153,7 @@ pub enum OrderByClause {
 /// ```
 ///
 /// [EBNF]: https://www.w3.org/TR/2010/REC-xquery-20101214/#EBNFNotation
-pub(crate) fn order_by_clause(i: &str) -> IResult<&str, OrderByClause> {
+pub fn order_by_clause(i: &str) -> ParseResult<&str, OrderByClause> {
     let order = || {
         preceded(
             multispace1,
@@ -161,23 +170,25 @@ pub(crate) fn order_by_clause(i: &str) -> IResult<&str, OrderByClause> {
             tag_no_case("ORDER"),
             preceded(multispace1, tag_no_case("BY")),
         ),
-        // cut to force failure, as `ORDER BY` must be followed by one of the following
-        cut(alt((
-            // "ASC" | "DESC"
-            order(),
-            // "TIME" ( "ASC" | "DESC" )?
-            map(
-                preceded(preceded(multispace1, tag_no_case("TIME")), opt(order())),
-                Option::<_>::unwrap_or_default,
-            ),
-        ))),
+        expect(
+            "invalid ORDER BY, expected ASC, DESC or TIME",
+            alt((
+                // "ASC" | "DESC"
+                order(),
+                // "TIME" ( "ASC" | "DESC" )?
+                map(
+                    preceded(preceded(multispace1, tag_no_case("TIME")), opt(order())),
+                    Option::<_>::unwrap_or_default,
+                ),
+            )),
+        ),
     )(i)
 }
 
 #[cfg(test)]
 mod tests {
     use super::*;
-    use crate::assert_failure;
+    use crate::assert_expect_error;
 
     #[test]
     fn test_measurement_name_expression() {
@@ -226,10 +237,22 @@ mod tests {
         assert_eq!(got, 123);
 
         // not digits
-        limit_clause("LIMIT sdf").unwrap_err();
+        assert_expect_error!(
+            limit_clause("LIMIT from"),
+            "invalid LIMIT clause, expected unsigned integer"
+        );
+
+        // incomplete input
+        assert_expect_error!(
+            limit_clause("LIMIT "),
+            "invalid LIMIT clause, expected unsigned integer"
+        );
 
         // overflow
-        limit_clause("LIMIT 34593745733489743985734857394").unwrap_err();
+        assert_expect_error!(
+            limit_clause("LIMIT 34593745733489743985734857394"),
+            "unable to parse unsigned integer"
+        );
     }
 
     #[test]
@@ -246,10 +269,22 @@ mod tests {
         assert_eq!(got, 123);
 
         // not digits
-        offset_clause("OFFSET sdf").unwrap_err();
+        assert_expect_error!(
+            offset_clause("OFFSET from"),
+            "invalid OFFSET clause, expected unsigned integer"
+        );
+
+        // incomplete input
+        assert_expect_error!(
+            offset_clause("OFFSET "),
+            "invalid OFFSET clause, expected unsigned integer"
+        );
 
         // overflow
-        offset_clause("OFFSET 34593745733489743985734857394").unwrap_err();
+        assert_expect_error!(
+            offset_clause("OFFSET 34593745733489743985734857394"),
+            "unable to parse unsigned integer"
+        );
     }
 
     #[test]
@@ -280,7 +315,10 @@ mod tests {
         // Fallible cases
 
         // Must be "time" identifier
-        assert_failure!(order_by_clause("ORDER by foo"));
+        assert_expect_error!(
+            order_by_clause("ORDER by foo"),
+            "invalid ORDER BY, expected ASC, DESC or TIME"
+        );
     }
 
     #[test]
@@ -296,4 +334,16 @@ mod tests {
         where_clause("WHERE foo = LIMIT 10").unwrap_err();
         where_clause("WHERE").unwrap_err();
     }
+
+    #[test]
+    fn test_statement_terminator() {
+        let (i, _) = statement_terminator(";foo").unwrap();
+        assert_eq!(i, "foo");
+
+        let (i, _) = statement_terminator("; foo").unwrap();
+        assert_eq!(i, " foo");
+
+        // Fallible cases
+        statement_terminator("foo").unwrap_err();
+    }
 }
diff --git a/influxdb_influxql_parser/src/expression.rs b/influxdb_influxql_parser/src/expression.rs
index 241ec1b4cf..f17626d1c5 100644
--- a/influxdb_influxql_parser/src/expression.rs
+++ b/influxdb_influxql_parser/src/expression.rs
@@ -1,6 +1,7 @@
 #![allow(dead_code)]
 
 use crate::identifier::unquoted_identifier;
+use crate::internal::ParseResult;
 use crate::literal::literal_regex;
 use crate::{
     identifier::{identifier, Identifier},
@@ -13,7 +14,6 @@ use nom::character::complete::{char, multispace0};
 use nom::combinator::{cut, map, value};
 use nom::multi::{many0, separated_list0};
 use nom::sequence::{delimited, preceded, separated_pair, tuple};
-use nom::IResult;
 use std::fmt::{Display, Formatter, Write};
 
 /// An InfluxQL expression of any type.
@@ -173,7 +173,7 @@ impl Display for BinaryOperator {
 }
 
 /// Parse a unary expression.
-fn unary(i: &str) -> IResult<&str, Expr> {
+fn unary(i: &str) -> ParseResult<&str, Expr> {
     let (i, op) = preceded(
         multispace0,
         alt((
@@ -188,7 +188,7 @@ fn unary(i: &str) -> IResult<&str, Expr> {
 }
 
 /// Parse a parenthesis expression.
-fn parens(i: &str) -> IResult<&str, Expr> {
+fn parens(i: &str) -> ParseResult<&str, Expr> {
     delimited(
         preceded(multispace0, char('(')),
         map(conditional_expression, |e| Expr::Nested(e.into())),
@@ -197,7 +197,7 @@ fn parens(i: &str) -> IResult<&str, Expr> {
 }
 
 /// Parse a function call expression
-fn call(i: &str) -> IResult<&str, Expr> {
+fn call(i: &str) -> ParseResult<&str, Expr> {
     map(
         separated_pair(
             unquoted_identifier,
@@ -224,7 +224,7 @@ fn call(i: &str) -> IResult<&str, Expr> {
 }
 
 /// Parse an operand expression, such as a literal, identifier or bind parameter.
-fn operand(i: &str) -> IResult<&str, Expr> {
+fn operand(i: &str) -> ParseResult<&str, Expr> {
     preceded(
         multispace0,
         alt((
@@ -238,14 +238,14 @@ fn operand(i: &str) -> IResult<&str, Expr> {
 /// Parse precedence priority 1 operators.
 ///
 /// These are the highest precedence operators, and include parenthesis and the unary operators.
-fn factor(i: &str) -> IResult<&str, Expr> {
+fn factor(i: &str) -> ParseResult<&str, Expr> {
     alt((unary, parens, operand))(i)
 }
 
 /// Parse arithmetic, precedence priority 2 operators.
 ///
 /// This includes the multiplication, division, bitwise and, and modulus operators.
-fn term(i: &str) -> IResult<&str, Expr> {
+fn term(i: &str) -> ParseResult<&str, Expr> {
     let (input, left) = factor(i)?;
     let (input, remaining) = many0(tuple((
         preceded(
@@ -265,7 +265,7 @@ fn term(i: &str) -> IResult<&str, Expr> {
 /// Parse arithmetic, precedence priority 3 operators.
 ///
 /// This includes the addition, subtraction, bitwise or, and bitwise xor operators.
-fn arithmetic(i: &str) -> IResult<&str, Expr> {
+fn arithmetic(i: &str) -> ParseResult<&str, Expr> {
     let (input, left) = term(i)?;
     let (input, remaining) = many0(tuple((
         preceded(
@@ -283,7 +283,7 @@ fn arithmetic(i: &str) -> IResult<&str, Expr> {
 }
 
 /// Parse the conditional regular expression operators `=~` and `!~`.
-fn conditional_regex(i: &str) -> IResult<&str, Expr> {
+fn conditional_regex(i: &str) -> ParseResult<&str, Expr> {
     let (input, f1) = arithmetic(i)?;
     let (input, exprs) = many0(tuple((
         preceded(
@@ -299,7 +299,7 @@ fn conditional_regex(i: &str) -> IResult<&str, Expr> {
 }
 
 /// Parse conditional operators.
-fn conditional(i: &str) -> IResult<&str, Expr> {
+fn conditional(i: &str) -> ParseResult<&str, Expr> {
     let (input, f1) = conditional_regex(i)?;
     let (input, exprs) = many0(tuple((
         preceded(
@@ -320,7 +320,7 @@ fn conditional(i: &str) -> IResult<&str, Expr> {
 }
 
 /// Parse conjunction operators, such as `AND`.
-fn conjunction(i: &str) -> IResult<&str, Expr> {
+fn conjunction(i: &str) -> ParseResult<&str, Expr> {
     let (input, f1) = conditional(i)?;
     let (input, exprs) = many0(tuple((
         value(
@@ -333,7 +333,7 @@ fn conjunction(i: &str) -> IResult<&str, Expr> {
 }
 
 /// Parse disjunction operator, such as `OR`.
-fn disjunction(i: &str) -> IResult<&str, Expr> {
+fn disjunction(i: &str) -> ParseResult<&str, Expr> {
     let (input, f1) = conjunction(i)?;
     let (input, exprs) = many0(tuple((
         value(BinaryOperator::Or, preceded(multispace0, tag_no_case("or"))),
@@ -343,7 +343,7 @@ fn disjunction(i: &str) -> IResult<&str, Expr> {
 }
 
 /// Parse an InfluxQL conditional expression.
-pub fn conditional_expression(i: &str) -> IResult<&str, Expr> {
+pub fn conditional_expression(i: &str) -> ParseResult<&str, Expr> {
     disjunction(i)
 }
 
diff --git a/influxdb_influxql_parser/src/identifier.rs b/influxdb_influxql_parser/src/identifier.rs
index 0ece1f27a6..e7a8f9696b 100644
--- a/influxdb_influxql_parser/src/identifier.rs
+++ b/influxdb_influxql_parser/src/identifier.rs
@@ -13,6 +13,7 @@
 
 #![allow(dead_code)]
 
+use crate::internal::ParseResult;
 use crate::keywords::sql_keyword;
 use crate::string::double_quoted_string;
 use crate::write_escaped;
@@ -22,12 +23,11 @@ use nom::character::complete::{alpha1, alphanumeric1};
 use nom::combinator::{map, not, recognize};
 use nom::multi::many0_count;
 use nom::sequence::{pair, preceded};
-use nom::IResult;
 use std::fmt;
 use std::fmt::{Display, Formatter, Write};
 
 /// Parse an unquoted InfluxQL identifier.
-pub(crate) fn unquoted_identifier(i: &str) -> IResult<&str, String> {
+pub fn unquoted_identifier(i: &str) -> ParseResult<&str, String> {
     map(
         preceded(
             not(sql_keyword),
@@ -68,7 +68,7 @@ impl Display for Identifier {
 }
 
 /// Parses an InfluxQL [Identifier].
-pub fn identifier(i: &str) -> IResult<&str, Identifier> {
+pub fn identifier(i: &str) -> ParseResult<&str, Identifier> {
     // See: https://github.com/influxdata/influxql/blob/df51a45762be9c1b578f01718fa92d286a843fe9/scanner.go#L358-L362
     alt((
         map(unquoted_identifier, Identifier::Unquoted),
diff --git a/influxdb_influxql_parser/src/internal.rs b/influxdb_influxql_parser/src/internal.rs
new file mode 100644
index 0000000000..0603e6baf1
--- /dev/null
+++ b/influxdb_influxql_parser/src/internal.rs
@@ -0,0 +1,89 @@
+//! Internal result and error types used to build InfluxQL parsers
+//!
+use nom::error::{ErrorKind as NomErrorKind, ParseError as NomParseError};
+use nom::Parser;
+use std::fmt::{Display, Formatter};
+
+/// This trait must be implemented in order to use the [`map_fail`] and
+/// [`expect`] functions for generating user-friendly error messages.
+pub trait ParseError<'a>: NomParseError<&'a str> + Sized {
+    fn from_message(input: &'a str, message: &'static str) -> Self;
+}
+
+/// An internal error type used to build InfluxQL parsers.
+#[derive(Debug, PartialEq, Eq)]
+pub enum Error<I> {
+    Syntax { input: I, message: &'static str },
+    Nom(I, NomErrorKind),
+}
+
+impl<I: Display> Display for Error<I> {
+    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
+        match self {
+            Self::Syntax { input: _, message } => {
+                write!(f, "Syntax error: {}", message)?;
+            }
+            Self::Nom(_, kind) => write!(f, "nom error: {:?}", kind)?,
+        }
+
+        Ok(())
+    }
+}
+
+impl<'a> ParseError<'a> for Error<&'a str> {
+    fn from_message(input: &'a str, message: &'static str) -> Self {
+        Self::Syntax { input, message }
+    }
+}
+
+/// Applies a function returning a [`ParseResult`] over the result of the `parser`.
+/// If the parser returns an error, the result will be mapped to a [`nom::Err::Failure`]
+/// with the specified `message` for additional context.
+pub fn map_fail<'a, O1, O2, E: ParseError<'a>, E2, F, G>(
+    message: &'static str,
+    mut parser: F,
+    mut f: G,
+) -> impl FnMut(&'a str) -> ParseResult<&'a str, O2, E>
+where
+    F: Parser<&'a str, O1, E>,
+    G: FnMut(O1) -> Result<O2, E2>,
+{
+    move |input| {
+        let (input, o1) = parser.parse(input)?;
+        match f(o1) {
+            Ok(o2) => Ok((input, o2)),
+            Err(_) => Err(nom::Err::Failure(E::from_message(input, message))),
+        }
+    }
+}
+
+/// Transforms a [`nom::Err::Error`] to a [`nom::Err::Failure`] using `message` for additional
+/// context.
+pub fn expect<'a, E: ParseError<'a>, F, O>(
+    message: &'static str,
+    mut f: F,
+) -> impl FnMut(&'a str) -> ParseResult<&'a str, O, E>
+where
+    F: Parser<&'a str, O, E>,
+{
+    move |i| match f.parse(i) {
+        Ok(o) => Ok(o),
+        Err(nom::Err::Incomplete(i)) => Err(nom::Err::Incomplete(i)),
+        Err(nom::Err::Error(_)) => Err(nom::Err::Failure(E::from_message(i, message))),
+        Err(nom::Err::Failure(e)) => Err(nom::Err::Failure(e)),
+    }
+}
+
+impl<I> NomParseError<I> for Error<I> {
+    fn from_error_kind(input: I, kind: NomErrorKind) -> Self {
+        Self::Nom(input, kind)
+    }
+
+    fn append(_: I, _: NomErrorKind, other: Self) -> Self {
+        other
+    }
+}
+
+/// ParseResult is a type alias for [`nom::IResult`] used by nom combinator
+/// functions for parsing InfluxQL.
+pub type ParseResult<I, T, E = Error<I>> = nom::IResult<I, T, E>;
diff --git a/influxdb_influxql_parser/src/keywords.rs b/influxdb_influxql_parser/src/keywords.rs
index e009f02bfd..9a2f09009b 100644
--- a/influxdb_influxql_parser/src/keywords.rs
+++ b/influxdb_influxql_parser/src/keywords.rs
@@ -4,14 +4,14 @@
 
 #![allow(dead_code)]
 
+use crate::internal::ParseResult;
 use nom::branch::alt;
 use nom::bytes::complete::{tag, tag_no_case};
 use nom::combinator::{eof, peek};
 use nom::sequence::terminated;
-use nom::IResult;
 
 /// Peeks at the input for acceptable characters following a keyword.
-fn keyword_follow_char(i: &str) -> IResult<&str, &str> {
+fn keyword_follow_char(i: &str) -> ParseResult<&str, &str> {
     peek(alt((
         tag(" "),
         tag("\n"),
@@ -26,7 +26,7 @@ fn keyword_follow_char(i: &str) -> IResult<&str, &str> {
 }
 
 /// Parses the input for matching InfluxQL keywords from ALL to DROP.
-fn keyword_all_to_drop(i: &str) -> IResult<&str, &str> {
+fn keyword_all_to_drop(i: &str) -> ParseResult<&str, &str> {
     alt((
         terminated(tag_no_case("ALL"), keyword_follow_char),
         terminated(tag_no_case("ALTER"), keyword_follow_char),
@@ -53,7 +53,7 @@ fn keyword_all_to_drop(i: &str) -> IResult<&str, &str> {
 }
 
 /// Parses the input for matching InfluxQL keywords from DURATION to LIMIT.
-fn keyword_duration_to_limit(i: &str) -> IResult<&str, &str> {
+fn keyword_duration_to_limit(i: &str) -> ParseResult<&str, &str> {
     alt((
         terminated(tag_no_case("DURATION"), keyword_follow_char),
         terminated(tag_no_case("END"), keyword_follow_char),
@@ -79,7 +79,7 @@ fn keyword_duration_to_limit(i: &str) -> IResult<&str, &str> {
 }
 
 /// Parses the input for matching InfluxQL keywords from MEASUREMENT to SET.
-fn keyword_measurement_to_set(i: &str) -> IResult<&str, &str> {
+fn keyword_measurement_to_set(i: &str) -> ParseResult<&str, &str> {
     alt((
         terminated(tag_no_case("MEASUREMENT"), keyword_follow_char),
         terminated(tag_no_case("MEASUREMENTS"), keyword_follow_char),
@@ -106,7 +106,7 @@ fn keyword_measurement_to_set(i: &str) -> IResult<&str, &str> {
 }
 
 /// Parses the input for matching InfluxQL keywords from SHOW to WRITE.
-fn keyword_show_to_write(i: &str) -> IResult<&str, &str> {
+fn keyword_show_to_write(i: &str) -> ParseResult<&str, &str> {
     alt((
         terminated(tag_no_case("SHOW"), keyword_follow_char),
         terminated(tag_no_case("SHARD"), keyword_follow_char),
@@ -127,8 +127,8 @@ fn keyword_show_to_write(i: &str) -> IResult<&str, &str> {
     ))(i)
 }
 
-// Matches any InfluxQL reserved keyword.
-pub fn sql_keyword(i: &str) -> IResult<&str, &str> {
+/// Matches any InfluxQL reserved keyword.
+pub fn sql_keyword(i: &str) -> ParseResult<&str, &str> {
     // NOTE that the alt function takes a tuple with a maximum arity of 21, hence
     // the reason these are broken into groups
     alt((
diff --git a/influxdb_influxql_parser/src/lib.rs b/influxdb_influxql_parser/src/lib.rs
index 6fb07d3ec4..80b3a203d5 100644
--- a/influxdb_influxql_parser/src/lib.rs
+++ b/influxdb_influxql_parser/src/lib.rs
@@ -11,14 +11,137 @@
     clippy::use_self,
     clippy::clone_on_ref_ptr
 )]
+
+use crate::common::statement_terminator;
+use crate::internal::Error as InternalError;
+use crate::statement::statement;
+pub use crate::statement::Statement;
+use nom::character::complete::multispace0;
+use nom::combinator::eof;
+use nom::Offset;
+use std::fmt::{Debug, Display, Formatter};
+
 mod common;
 mod expression;
 mod identifier;
+mod internal;
 mod keywords;
 mod literal;
 mod parameter;
+mod show;
 mod show_measurements;
+mod statement;
 mod string;
 
 #[cfg(test)]
 mod test_util;
+
+/// A error returned when parsing an InfluxQL query using
+/// [`parse_statements`] fails.
+#[derive(Debug, Clone, PartialEq, Eq)]
+pub struct ParseError {
+    message: String,
+    pos: usize,
+}
+
+impl Display for ParseError {
+    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
+        write!(f, "{} at pos {}", self.message, self.pos)?;
+        Ok(())
+    }
+}
+
+/// ParseResult is type that represents the success or failure of parsing
+/// a given input into a set of InfluxQL statements.
+///
+/// Errors are human-readable messages indicating the cause of the parse failure.
+pub type ParseResult = Result<Vec<Statement>, ParseError>;
+
+/// Parse the input into a set of InfluxQL statements.
+pub fn parse_statements(input: &str) -> ParseResult {
+    let mut res = Vec::new();
+    let mut i: &str = input;
+
+    loop {
+        // Consume whitespace from the input
+        i = match multispace0::<_, nom::error::Error<_>>(i) {
+            Ok((i1, _)) => i1,
+            _ => unreachable!("multispace0 is infallible"),
+        };
+
+        if eof::<_, nom::error::Error<_>>(i).is_ok() {
+            return Ok(res);
+        }
+
+        if let Ok((i1, _)) = statement_terminator(i) {
+            i = i1;
+            continue;
+        }
+
+        match statement(i) {
+            Ok((i1, o)) => {
+                res.push(o);
+                i = i1;
+            }
+            Err(nom::Err::Failure(InternalError::Syntax {
+                input: pos,
+                message,
+            })) => {
+                return Err(ParseError {
+                    message: message.into(),
+                    pos: input.offset(pos),
+                })
+            }
+            // any other error indicates an invalid statement
+            Err(_) => {
+                return Err(ParseError {
+                    message: "invalid SQL statement".into(),
+                    pos: input.offset(i),
+                })
+            }
+        }
+    }
+}
+
+#[cfg(test)]
+mod test {
+    use crate::parse_statements;
+
+    /// Validates that the [`parse_statements`] function
+    /// handles statement terminators and errors.
+    #[test]
+    fn test_parse_statements() {
+        // Parse a single statement, without a terminator
+        let got = parse_statements("SHOW MEASUREMENTS").unwrap();
+        assert_eq!(format!("{}", got.first().unwrap()), "SHOW MEASUREMENTS");
+
+        // Parse a single statement, with a terminator
+        let got = parse_statements("SHOW MEASUREMENTS;").unwrap();
+        assert_eq!(format!("{}", got[0]), "SHOW MEASUREMENTS");
+
+        // Parse multiple statements with whitespace
+        let got = parse_statements("SHOW MEASUREMENTS;\nSHOW MEASUREMENTS LIMIT 1").unwrap();
+        assert_eq!(format!("{}", got[0]), "SHOW MEASUREMENTS");
+        assert_eq!(format!("{}", got[1]), "SHOW MEASUREMENTS LIMIT 1");
+
+        // Parse multiple statements with a terminator in quotes, ensuring it is not interpreted as
+        // a terminator
+        let got = parse_statements(
+            "SHOW MEASUREMENTS WITH MEASUREMENT = \";\";SHOW MEASUREMENTS LIMIT 1",
+        )
+        .unwrap();
+        assert_eq!(
+            format!("{}", got[0]),
+            "SHOW MEASUREMENTS WITH MEASUREMENT = \";\""
+        );
+        assert_eq!(format!("{}", got[1]), "SHOW MEASUREMENTS LIMIT 1");
+
+        // Returns error for invalid statement
+        let got = parse_statements("BAD SQL").unwrap_err();
+        assert_eq!(format!("{}", got), "invalid SQL statement at pos 0");
+
+        // Returns error for invalid statement after first
+        let got = parse_statements("SHOW MEASUREMENTS;BAD SQL").unwrap_err();
+        assert_eq!(format!("{}", got), "invalid SQL statement at pos 18");
+    }
+}
diff --git a/influxdb_influxql_parser/src/literal.rs b/influxdb_influxql_parser/src/literal.rs
index d58dbedea0..352d3436ba 100644
--- a/influxdb_influxql_parser/src/literal.rs
+++ b/influxdb_influxql_parser/src/literal.rs
@@ -1,14 +1,14 @@
 #![allow(dead_code)]
 
+use crate::internal::{map_fail, ParseResult};
 use crate::string::{regex, single_quoted_string, Regex};
 use crate::write_escaped;
 use nom::branch::alt;
 use nom::bytes::complete::{tag, tag_no_case};
 use nom::character::complete::digit1;
-use nom::combinator::{map, map_res, recognize, value};
+use nom::combinator::{map, recognize, value};
 use nom::multi::fold_many1;
 use nom::sequence::{pair, separated_pair};
-use nom::IResult;
 use std::fmt::{Display, Formatter, Write};
 
 /// Number of nanoseconds in a microsecond.
@@ -110,8 +110,8 @@ impl Display for Literal {
 /// ```text
 /// INTEGER ::= [0-9]+
 /// ```
-fn integer(i: &str) -> IResult<&str, i64> {
-    map_res(digit1, |s: &str| s.parse())(i)
+fn integer(i: &str) -> ParseResult<&str, i64> {
+    map_fail("unable to parse integer", digit1, &str::parse)(i)
 }
 
 /// Parse an unsigned InfluxQL integer.
@@ -121,8 +121,8 @@ fn integer(i: &str) -> IResult<&str, i64> {
 /// ```text
 /// INTEGER ::= [0-9]+
 /// ```
-fn unsigned_integer(i: &str) -> IResult<&str, u64> {
-    map_res(digit1, |s: &str| s.parse())(i)
+fn unsigned_integer(i: &str) -> ParseResult<&str, u64> {
+    map_fail("unable to parse unsigned integer", digit1, &str::parse)(i)
 }
 
 /// Parse an unsigned InfluxQL floating point number.
@@ -133,15 +133,16 @@ fn unsigned_integer(i: &str) -> IResult<&str, u64> {
 /// float   ::= INTEGER "." INTEGER
 /// INTEGER ::= [0-9]+
 /// ```
-fn float(i: &str) -> IResult<&str, f64> {
-    map_res(
+fn float(i: &str) -> ParseResult<&str, f64> {
+    map_fail(
+        "unable to parse float",
         recognize(separated_pair(digit1, tag("."), digit1)),
-        |s: &str| s.parse(),
+        &str::parse,
     )(i)
 }
 
 /// Parse the input for an InfluxQL boolean, which must be the value `true` or `false`.
-fn boolean(i: &str) -> IResult<&str, bool> {
+fn boolean(i: &str) -> ParseResult<&str, bool> {
     alt((
         value(true, tag_no_case("true")),
         value(false, tag_no_case("false")),
@@ -202,7 +203,7 @@ impl Display for Duration {
 }
 
 /// Parse the input for a InfluxQL duration fragment and returns the value in nanoseconds.
-fn single_duration(i: &str) -> IResult<&str, i64> {
+fn single_duration(i: &str) -> ParseResult<&str, i64> {
     use DurationUnit::*;
 
     map(
@@ -234,7 +235,7 @@ fn single_duration(i: &str) -> IResult<&str, i64> {
 }
 
 /// Parse the input for an InfluxQL duration and returns the value in nanoseconds.
-fn duration(i: &str) -> IResult<&str, Duration> {
+fn duration(i: &str) -> ParseResult<&str, Duration> {
     map(
         fold_many1(single_duration, || 0, |acc, fragment| acc + fragment),
         Duration,
@@ -244,7 +245,7 @@ fn duration(i: &str) -> IResult<&str, Duration> {
 /// Parse an InfluxQL literal, except a [`Regex`].
 ///
 /// See [`literal_regex`] for parsing literal regular expressions.
-pub fn literal(i: &str) -> IResult<&str, Literal> {
+pub fn literal(i: &str) -> ParseResult<&str, Literal> {
     alt((
         // NOTE: order is important, as floats should be tested before durations and integers.
         map(float, Literal::Float),
@@ -256,7 +257,7 @@ pub fn literal(i: &str) -> IResult<&str, Literal> {
 }
 
 /// Parse an InfluxQL literal regular expression.
-pub fn literal_regex(i: &str) -> IResult<&str, Literal> {
+pub fn literal_regex(i: &str) -> ParseResult<&str, Literal> {
     map(regex, Literal::Regex)(i)
 }
 
diff --git a/influxdb_influxql_parser/src/parameter.rs b/influxdb_influxql_parser/src/parameter.rs
index bd5376f71d..a673ca532f 100644
--- a/influxdb_influxql_parser/src/parameter.rs
+++ b/influxdb_influxql_parser/src/parameter.rs
@@ -9,6 +9,7 @@
 
 #![allow(dead_code)]
 
+use crate::internal::ParseResult;
 use crate::string::double_quoted_string;
 use crate::write_escaped;
 use nom::branch::alt;
@@ -17,12 +18,11 @@ use nom::character::complete::{alphanumeric1, char};
 use nom::combinator::{map, recognize};
 use nom::multi::many1_count;
 use nom::sequence::preceded;
-use nom::IResult;
 use std::fmt;
 use std::fmt::{Display, Formatter, Write};
 
 /// Parse an unquoted InfluxQL bind parameter.
-fn unquoted_parameter(i: &str) -> IResult<&str, String> {
+fn unquoted_parameter(i: &str) -> ParseResult<&str, String> {
     map(
         recognize(many1_count(alt((alphanumeric1, tag("_"))))),
         str::to_string,
@@ -57,7 +57,7 @@ impl Display for BindParameter {
 }
 
 /// Parses an InfluxQL [BindParameter].
-pub fn parameter(i: &str) -> IResult<&str, BindParameter> {
+pub fn parameter(i: &str) -> ParseResult<&str, BindParameter> {
     // See: https://github.com/influxdata/influxql/blob/df51a45762be9c1b578f01718fa92d286a843fe9/scanner.go#L358-L362
     preceded(
         char('$'),
@@ -99,8 +99,7 @@ mod test {
         // └─────────────────────────────┘
 
         // missing `$` prefix
-        let res = parameter("cpu");
-        assert!(res.is_err());
+        parameter("cpu").unwrap_err();
     }
 
     #[test]
diff --git a/influxdb_influxql_parser/src/show.rs b/influxdb_influxql_parser/src/show.rs
new file mode 100644
index 0000000000..fcc84d80f6
--- /dev/null
+++ b/influxdb_influxql_parser/src/show.rs
@@ -0,0 +1,41 @@
+use crate::internal::{expect, ParseResult};
+use crate::show_measurements::show_measurements;
+use crate::Statement;
+use nom::bytes::complete::tag_no_case;
+use nom::character::complete::multispace1;
+use nom::combinator::map;
+use nom::sequence::{pair, preceded};
+
+/// Parse a SHOW statement.
+pub fn show_statement(i: &str) -> ParseResult<&str, Statement> {
+    preceded(
+        pair(tag_no_case("SHOW"), multispace1),
+        expect(
+            "invalid SHOW statement, expected MEASUREMENTS",
+            // NOTE: This will become an alt(()) once more statements are added
+            map(show_measurements, |v| {
+                Statement::ShowMeasurements(Box::new(v))
+            }),
+        ),
+    )(i)
+}
+
+#[cfg(test)]
+mod test {
+    use super::*;
+    use crate::assert_expect_error;
+
+    #[test]
+    fn test_show_statement() {
+        let (_, got) = show_statement("SHOW MEASUREMENTS").unwrap();
+        assert_eq!(format!("{}", got), "SHOW MEASUREMENTS");
+
+        // Fallible case
+
+        // Unsupported SHOW
+        assert_expect_error!(
+            show_statement("SHOW TAG KEYS"),
+            "invalid SHOW statement, expected MEASUREMENTS"
+        );
+    }
+}
diff --git a/influxdb_influxql_parser/src/show_measurements.rs b/influxdb_influxql_parser/src/show_measurements.rs
index 9bff7806a4..f2714c6e54 100644
--- a/influxdb_influxql_parser/src/show_measurements.rs
+++ b/influxdb_influxql_parser/src/show_measurements.rs
@@ -4,17 +4,18 @@
 
 #![allow(dead_code)]
 
+use crate::internal::{expect, ParseResult};
 use nom::branch::alt;
 use nom::bytes::complete::{tag, tag_no_case};
 use nom::character::complete::{char, multispace1};
 use nom::combinator::{map, opt, value};
+use nom::sequence::tuple;
 use nom::sequence::{pair, preceded, terminated};
-use nom::{sequence::tuple, IResult};
 use std::fmt;
 use std::fmt::Formatter;
 
 use crate::common::{
-    limit_clause, measurement_name_expression, offset_clause, statement_terminator, where_clause,
+    limit_clause, measurement_name_expression, offset_clause, where_clause,
     MeasurementNameExpression,
 };
 use crate::expression::Expr;
@@ -43,20 +44,23 @@ impl fmt::Display for OnExpression {
 }
 
 /// Parse the `ON` expression of the `SHOW MEASUREMENTS` statement.
-fn on_expression(i: &str) -> IResult<&str, OnExpression> {
+fn on_expression(i: &str) -> ParseResult<&str, OnExpression> {
     preceded(
         pair(tag_no_case("ON"), multispace1),
-        alt((
-            value(OnExpression::AllDatabasesAndRetentionPolicies, tag("*.*")),
-            value(OnExpression::AllDatabases, tag("*")),
-            map(
-                pair(opt(terminated(identifier, tag("."))), identifier),
-                |tup| match tup {
-                    (None, db) => OnExpression::Database(db),
-                    (Some(db), rp) => OnExpression::DatabaseRetentionPolicy(db, rp),
-                },
-            ),
-        )),
+        expect(
+            "invalid ON clause, expected wildcard or identifier",
+            alt((
+                value(OnExpression::AllDatabasesAndRetentionPolicies, tag("*.*")),
+                value(OnExpression::AllDatabases, tag("*")),
+                map(
+                    pair(opt(terminated(identifier, tag("."))), identifier),
+                    |tup| match tup {
+                        (None, db) => OnExpression::Database(db),
+                        (Some(db), rp) => OnExpression::DatabaseRetentionPolicy(db, rp),
+                    },
+                ),
+            )),
+        ),
     )(i)
 }
 
@@ -114,50 +118,63 @@ impl fmt::Display for MeasurementExpression {
     }
 }
 
-fn with_measurement_expression(i: &str) -> IResult<&str, MeasurementExpression> {
+fn with_measurement_expression(i: &str) -> ParseResult<&str, MeasurementExpression> {
     preceded(
         tuple((
-            tag_no_case("with"),
+            tag_no_case("WITH"),
             multispace1,
-            tag_no_case("measurement"),
-            multispace1,
-        )),
-        alt((
-            map(
-                tuple((char('='), multispace1, measurement_name_expression)),
-                |(_, _, name)| MeasurementExpression::Equals(name),
+            expect(
+                "invalid WITH clause, expected MEASUREMENT",
+                tag_no_case("measurement"),
             ),
-            map(tuple((tag("=~"), multispace1, regex)), |(_, _, regex)| {
-                MeasurementExpression::Regex(regex)
-            }),
+            multispace1,
         )),
+        expect(
+            "expected = or =~",
+            alt((
+                map(
+                    tuple((
+                        char('='),
+                        multispace1,
+                        expect(
+                            "expected measurement name or wildcard",
+                            measurement_name_expression,
+                        ),
+                    )),
+                    |(_, _, name)| MeasurementExpression::Equals(name),
+                ),
+                map(
+                    tuple((
+                        tag("=~"),
+                        multispace1,
+                        expect("expected regex literal", regex),
+                    )),
+                    |(_, _, regex)| MeasurementExpression::Regex(regex),
+                ),
+            )),
+        ),
     )(i)
 }
 
-pub fn show_measurements(i: &str) -> IResult<&str, ShowMeasurementsStatement> {
+/// Parse a `SHOW MEASUREMENTS` statement after `SHOW` and any whitespace has been consumed.
+pub fn show_measurements(i: &str) -> ParseResult<&str, ShowMeasurementsStatement> {
     let (
         remaining_input,
         (
-            _, // "SHOW"
-            _, // <ws>
             _, // "MEASUREMENTS"
             on_expression,
             measurement_expression,
             condition,
             limit,
             offset,
-            _, // ";"
         ),
     ) = tuple((
-        tag_no_case("show"),
-        multispace1,
-        tag_no_case("measurements"),
+        tag_no_case("MEASUREMENTS"),
         opt(preceded(multispace1, on_expression)),
         opt(preceded(multispace1, with_measurement_expression)),
         opt(preceded(multispace1, where_clause)),
         opt(preceded(multispace1, limit_clause)),
         opt(preceded(multispace1, offset_clause)),
-        statement_terminator,
     ))(i)?;
 
     Ok((
@@ -175,10 +192,11 @@ pub fn show_measurements(i: &str) -> IResult<&str, ShowMeasurementsStatement> {
 #[cfg(test)]
 mod test {
     use super::*;
+    use crate::assert_expect_error;
 
     #[test]
     fn test_show_measurements() {
-        let (_, got) = show_measurements("SHOW measurements;").unwrap();
+        let (_, got) = show_measurements("measurements").unwrap();
         assert_eq!(
             got,
             ShowMeasurementsStatement {
@@ -187,7 +205,7 @@ mod test {
             },
         );
 
-        let (_, got) = show_measurements("SHOW measurements ON foo;").unwrap();
+        let (_, got) = show_measurements("measurements ON foo").unwrap();
         assert_eq!(
             got,
             ShowMeasurementsStatement {
@@ -197,7 +215,7 @@ mod test {
         );
 
         let (_, got) = show_measurements(
-            "SHOW\nMEASUREMENTS\tON  foo  WITH  MEASUREMENT\n=  bar WHERE\ntrue LIMIT 10 OFFSET 20;",
+            "MEASUREMENTS\tON  foo  WITH  MEASUREMENT\n=  bar WHERE\ntrue LIMIT 10 OFFSET 20",
         )
         .unwrap();
         assert_eq!(
@@ -221,10 +239,9 @@ mod test {
             "SHOW MEASUREMENTS ON foo WITH MEASUREMENT = bar WHERE true LIMIT 10 OFFSET 20"
         );
 
-        let (_, got) = show_measurements(
-            "SHOW\nMEASUREMENTS\tON  foo  WITH  MEASUREMENT\n=~ /bar/ WHERE\ntrue;",
-        )
-        .unwrap();
+        let (_, got) =
+            show_measurements("MEASUREMENTS\tON  foo  WITH  MEASUREMENT\n=~ /bar/ WHERE\ntrue")
+                .unwrap();
         assert_eq!(
             got,
             ShowMeasurementsStatement {
@@ -310,6 +327,11 @@ mod test {
             got,
             OnExpression::AllDatabasesAndRetentionPolicies
         ));
+
+        assert_expect_error!(
+            on_expression("ON WHERE cpu = 'test'"),
+            "invalid ON clause, expected wildcard or identifier"
+        )
     }
 
     #[test]
@@ -329,16 +351,34 @@ mod test {
 
         // Fallible cases
 
+        // Missing MEASUREMENT token
+        assert_expect_error!(
+            with_measurement_expression("WITH =~ foo"),
+            "invalid WITH clause, expected MEASUREMENT"
+        );
+
         // Must have a regex for equal regex operator
-        with_measurement_expression("WITH measurement =~ foo").unwrap_err();
+        assert_expect_error!(
+            with_measurement_expression("WITH measurement =~ foo"),
+            "expected regex literal"
+        );
 
         // Unsupported regex not equal operator
-        with_measurement_expression("WITH measurement !~ foo").unwrap_err();
+        assert_expect_error!(
+            with_measurement_expression("WITH measurement !~ foo"),
+            "expected = or =~"
+        );
 
         // Must have an identifier for equal operator
-        with_measurement_expression("WITH measurement = /foo/").unwrap_err();
+        assert_expect_error!(
+            with_measurement_expression("WITH measurement = /foo/"),
+            "expected measurement name or wildcard"
+        );
 
         // Must have an identifier
-        with_measurement_expression("WITH measurement = 1").unwrap_err();
+        assert_expect_error!(
+            with_measurement_expression("WITH measurement = 1"),
+            "expected measurement name or wildcard"
+        );
     }
 }
diff --git a/influxdb_influxql_parser/src/statement.rs b/influxdb_influxql_parser/src/statement.rs
new file mode 100644
index 0000000000..798f42cf4c
--- /dev/null
+++ b/influxdb_influxql_parser/src/statement.rs
@@ -0,0 +1,27 @@
+use crate::internal::ParseResult;
+use crate::show::show_statement;
+use crate::show_measurements::ShowMeasurementsStatement;
+use std::fmt::{Display, Formatter};
+
+/// An InfluxQL statement.
+#[derive(Debug, Clone, PartialEq)]
+pub enum Statement {
+    /// Represents a `SHOW MEASUREMENTS` statement.
+    ShowMeasurements(Box<ShowMeasurementsStatement>),
+}
+
+impl Display for Statement {
+    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
+        match self {
+            Self::ShowMeasurements(s) => write!(f, "{}", s)?,
+        };
+
+        Ok(())
+    }
+}
+
+/// Parse a single InfluxQL statement.
+pub fn statement(i: &str) -> ParseResult<&str, Statement> {
+    // NOTE: This will become an alt(()) once more statements are added
+    show_statement(i)
+}
diff --git a/influxdb_influxql_parser/src/string.rs b/influxdb_influxql_parser/src/string.rs
index 56dc697b36..918fb337fb 100644
--- a/influxdb_influxql_parser/src/string.rs
+++ b/influxdb_influxql_parser/src/string.rs
@@ -6,6 +6,7 @@
 // Taken liberally from https://github.com/Geal/nom/blob/main/examples/string.rs and
 // amended for InfluxQL.
 
+use crate::internal::{expect, ParseError, ParseResult};
 use nom::branch::alt;
 use nom::bytes::complete::{is_not, tag};
 use nom::character::complete::char;
@@ -13,7 +14,7 @@ use nom::combinator::{map, value, verify};
 use nom::error::Error;
 use nom::multi::fold_many0;
 use nom::sequence::{delimited, preceded};
-use nom::{IResult, Parser};
+use nom::Parser;
 use std::fmt::{Display, Formatter, Write};
 
 /// Writes `s` to `f`, mapping any characters from => to their escaped equivalents.
@@ -40,41 +41,51 @@ enum StringFragment<'a> {
 }
 
 /// Parse a single-quoted literal string.
-pub fn single_quoted_string(i: &str) -> IResult<&str, String> {
+pub fn single_quoted_string(i: &str) -> ParseResult<&str, String> {
     let escaped = preceded(
         char('\\'),
-        alt((char('\\'), char('\''), value('\n', char('n')))),
+        expect(
+            r#"invalid escape sequence, expected \\, \' or \n"#,
+            alt((char('\\'), char('\''), value('\n', char('n')))),
+        ),
     );
 
     string(
         '\'',
+        "unterminated string literal",
         verify(is_not("'\\\n"), |s: &str| !s.is_empty()),
         escaped,
     )(i)
 }
 
 /// Parse a double-quoted identifier string.
-pub fn double_quoted_string(i: &str) -> IResult<&str, String> {
+pub fn double_quoted_string(i: &str) -> ParseResult<&str, String> {
     let escaped = preceded(
         char('\\'),
-        alt((char('\\'), char('"'), value('\n', char('n')))),
+        expect(
+            r#"invalid escape sequence, expected \\, \" or \n"#,
+            alt((char('\\'), char('"'), value('\n', char('n')))),
+        ),
     );
 
     string(
         '"',
+        "unterminated string literal",
         verify(is_not("\"\\\n"), |s: &str| !s.is_empty()),
         escaped,
     )(i)
 }
 
-fn string<'a, T, U>(
+fn string<'a, T, U, E>(
     delimiter: char,
+    unterminated_message: &'static str,
     literal: T,
     escaped: U,
-) -> impl FnMut(&'a str) -> IResult<&'a str, String>
+) -> impl FnMut(&'a str) -> ParseResult<&'a str, String, E>
 where
-    T: Parser<&'a str, &'a str, Error<&'a str>>,
-    U: Parser<&'a str, char, Error<&'a str>>,
+    T: Parser<&'a str, &'a str, E>,
+    U: Parser<&'a str, char, E>,
+    E: ParseError<'a>,
 {
     let fragment = alt((
         map(literal, StringFragment::Literal),
@@ -89,13 +100,17 @@ where
         string
     });
 
-    delimited(char(delimiter), build_string, char(delimiter))
+    delimited(
+        char(delimiter),
+        build_string,
+        expect(unterminated_message, char(delimiter)),
+    )
 }
 
 /// Parse regular expression literal characters.
 ///
 /// Consumes i until reaching and escaped delimiter ("\/"), newline or eof.
-fn regex_literal(i: &str) -> IResult<&str, &str> {
+fn regex_literal(i: &str) -> ParseResult<&str, &str> {
     let mut remaining = &i[..i.len()];
     let mut consumed = &i[..0];
 
@@ -123,7 +138,7 @@ fn regex_literal(i: &str) -> IResult<&str, &str> {
 
 /// An unescaped regular expression.
 #[derive(Clone, Debug, PartialEq, Eq)]
-pub struct Regex(pub(crate) String);
+pub struct Regex(pub String);
 
 impl Display for Regex {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
@@ -147,13 +162,22 @@ impl From<&str> for Regex {
 }
 
 /// Parse a regular expression, delimited by `/`.
-pub fn regex(i: &str) -> IResult<&str, Regex> {
-    map(string('/', regex_literal, map(tag("\\/"), |_| '/')), Regex)(i)
+pub fn regex(i: &str) -> ParseResult<&str, Regex> {
+    map(
+        string(
+            '/',
+            "unterminated regex literal",
+            regex_literal,
+            map(tag("\\/"), |_| '/'),
+        ),
+        Regex,
+    )(i)
 }
 
 #[cfg(test)]
 mod test {
     use super::*;
+    use crate::assert_expect_error;
 
     #[test]
     fn test_double_quoted_string() {
@@ -180,18 +204,32 @@ mod test {
         let (_, got) = double_quoted_string("\"quick\rdraw\"").unwrap();
         assert_eq!(got, "quick\rdraw");
 
+        // Empty string
+        let (i, got) = double_quoted_string("\"\"").unwrap();
+        assert_eq!(i, "");
+        assert_eq!(got, "");
+
         // ┌─────────────────────────────┐
         // │       Fallible tests        │
         // └─────────────────────────────┘
 
         // Not terminated
-        double_quoted_string(r#""quick draw"#).unwrap_err();
+        assert_expect_error!(
+            double_quoted_string(r#""quick draw"#),
+            "unterminated string literal"
+        );
 
         // Literal newline
-        double_quoted_string("\"quick\ndraw\"").unwrap_err();
+        assert_expect_error!(
+            double_quoted_string("\"quick\ndraw\""),
+            "unterminated string literal"
+        );
 
         // Invalid escape
-        double_quoted_string(r#""quick\idraw""#).unwrap_err();
+        assert_expect_error!(
+            double_quoted_string(r#""quick\idraw""#),
+            r#"invalid escape sequence, expected \\, \" or \n"#
+        );
     }
 
     #[test]
@@ -219,15 +257,25 @@ mod test {
         let (_, got) = single_quoted_string("'quick\rdraw'").unwrap();
         assert_eq!(got, "quick\rdraw");
 
+        // Empty string
+        let (i, got) = single_quoted_string("''").unwrap();
+        assert_eq!(i, "");
+        assert_eq!(got, "");
+
         // ┌─────────────────────────────┐
         // │       Fallible tests        │
         // └─────────────────────────────┘
-
         // Not terminated
-        single_quoted_string(r#"'quick draw"#).unwrap_err();
+        assert_expect_error!(
+            single_quoted_string(r#"'quick draw"#),
+            "unterminated string literal"
+        );
 
         // Invalid escape
-        single_quoted_string(r#"'quick\idraw'"#).unwrap_err();
+        assert_expect_error!(
+            single_quoted_string(r#"'quick\idraw'"#),
+            r#"invalid escape sequence, expected \\, \' or \n"#
+        );
     }
 
     #[test]
@@ -244,19 +292,20 @@ mod test {
         assert_eq!(got, "hello\\n".into());
 
         // Empty regex
-        let (_, got) = regex("//").unwrap();
+        let (i, got) = regex("//").unwrap();
+        assert_eq!(i, "");
         assert_eq!(got, "".into());
 
         // Fallible cases
 
         // Missing trailing delimiter
-        regex(r#"/hello"#).unwrap_err();
+        assert_expect_error!(regex(r#"/hello"#), "unterminated regex literal");
 
         // Embedded newline
-        regex("/hello\nworld").unwrap_err();
+        assert_expect_error!(regex("/hello\nworld/"), "unterminated regex literal");
 
         // Single backslash fails, which matches Go implementation
         // See: https://go.dev/play/p/_8J1v5-382G
-        regex(r#"/\/"#).unwrap_err();
+        assert_expect_error!(regex(r#"/\/"#), "unterminated regex literal");
     }
 }
diff --git a/influxdb_influxql_parser/src/test_util.rs b/influxdb_influxql_parser/src/test_util.rs
index 14216fc301..6f290baf86 100644
--- a/influxdb_influxql_parser/src/test_util.rs
+++ b/influxdb_influxql_parser/src/test_util.rs
@@ -7,3 +7,19 @@ macro_rules! assert_failure {
         assert!(matches!($RESULT.unwrap_err(), nom::Err::Failure(_)));
     };
 }
+
+/// Asserts that the result of a nom parser is an [`crate::internal::Error::Syntax`] and a [`nom::Err::Failure`].
+#[macro_export]
+macro_rules! assert_expect_error {
+    ($RESULT:expr, $MSG:expr) => {
+        match $RESULT.unwrap_err() {
+            nom::Err::Failure($crate::internal::Error::Syntax {
+                input: _,
+                message: got,
+            }) => {
+                assert_eq!(format!("{}", got), $MSG)
+            }
+            e => panic!("Expected Failure(Syntax(_, msg), got {:?}", e),
+        }
+    };
+}