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ω"],