From 4a6a35a89752f4f6843ceb9f58aa9d5311b2544c Mon Sep 17 00:00:00 2001 From: Michael Sippel Date: Tue, 4 Feb 2025 15:15:09 +0100 Subject: [PATCH] pnf: add test for collapsing first application argument --- src/test/pnf.rs | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/test/pnf.rs b/src/test/pnf.rs index 2303b3e..00daa3a 100644 --- a/src/test/pnf.rs +++ b/src/test/pnf.rs @@ -29,6 +29,11 @@ fn test_param_normalize() { dict.parse(">~").expect("parse errror").param_normalize(), ); + assert_eq!( + dict.parse("").expect("parse error"), + dict.parse("~").expect("parse error").param_normalize(), + ); + assert_eq!( dict.parse(" F~G H H>").expect("parse error"), dict.parse(" F H H>