[ internal ] update for parser refactor in Idris#248

wizard7377 wants to merge 1 commit intoidris-community:mainidris-community/idris2-lsp:mainfrom

wizard7377:parser_refactorwizard7377/idris2-lsp:parser_refactorCopy head branch name to clipboard