From 1c53b63bdf38d9a41ed4e12bcc4a418f90bee464 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Fri, 17 Mar 2023 21:51:28 +0100 Subject: [PATCH] uh. fix Tests.Lexer --- tests/Tests/Lexer.idr | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tests/Tests/Lexer.idr b/tests/Tests/Lexer.idr index 4fbde87..8bd8f64 100644 --- a/tests/Tests/Lexer.idr +++ b/tests/Tests/Lexer.idr @@ -1,7 +1,7 @@ module Tests.Lexer import Quox.Name -import Quox.Lexer +import Quox.Parser.Lexer import TAP @@ -66,7 +66,7 @@ tests = "lexer" :- [ lexes "δελτα" [Name "δελτα"], lexes "★★" [Name "★★"], lexes "Types" [Name "Types"], - lexes "a.b.c.d.e" [Name $ MakeName [< "a","b","c","d"] "e"], + lexes "a.b.c.d.e" [Name $ MakePName [< "a","b","c","d"] "e"], lexes "normalïse" [Name "normalïse"], -- ↑ replace i + combining ¨ with precomposed ï lexes "map#" [Name "map#"], @@ -85,16 +85,16 @@ tests = "lexer" :- [ lexes "***" [Name "***"], lexes "+**" [Name "+**"], lexes "+#" [Name "+#"], - lexes "+.+.+" [Name $ MakeName [< "+", "+"] "+"], - lexes "a.+" [Name $ MakeName [< "a"] "+"], - lexes "+.a" [Name $ MakeName [< "+"] "a"], + lexes "+.+.+" [Name $ MakePName [< "+", "+"] "+"], + lexes "a.+" [Name $ MakePName [< "a"] "+"], + lexes "+.a" [Name $ MakePName [< "+"] "a"], lexes "+a" [Name "+", Name "a"], lexes "x." [Name "x", Reserved "·"], lexes "&." [Name "&", Reserved "·"], lexes ".x" [Reserved "·", Name "x"], - lexes "a.b.c." [Name $ MakeName [< "a", "b"] "c", Reserved "·"], + lexes "a.b.c." [Name $ MakePName [< "a", "b"] "c", Reserved "·"], lexes "case" [Reserved "case"], lexes "caseω" [Reserved "caseω"],