From b8798de2f559587db72c22fb91cf1ecf4229b9b3 Mon Sep 17 00:00:00 2001 From: Thomas Vigouroux Date: Thu, 24 Aug 2023 09:23:08 +0200 Subject: [PATCH] chore: remove last parts of teal --- tlconfig.lua | 10 -- types/fzy-lua-native.d.tl | 5 - types/fzy.d.tl | 17 --- types/luasnip.d.tl | 17 --- types/nvim-treesitter/locals.d.tl | 17 --- types/nvim-treesitter/ts_utils.d.tl | 7 -- types/types.d.tl | 162 ---------------------------- 7 files changed, 235 deletions(-) delete mode 100644 tlconfig.lua delete mode 100644 types/fzy-lua-native.d.tl delete mode 100644 types/fzy.d.tl delete mode 100644 types/luasnip.d.tl delete mode 100644 types/nvim-treesitter/locals.d.tl delete mode 100644 types/nvim-treesitter/ts_utils.d.tl delete mode 100644 types/types.d.tl diff --git a/tlconfig.lua b/tlconfig.lua deleted file mode 100644 index eee9a92..0000000 --- a/tlconfig.lua +++ /dev/null @@ -1,10 +0,0 @@ -return { - gen_target = '5.1', - gen_compat = 'off', - global_env_def = 'types', - include_dir = { - 'types', 'teal', - }, - source_dir = 'teal', - build_dir = "lua", -} diff --git a/types/fzy-lua-native.d.tl b/types/fzy-lua-native.d.tl deleted file mode 100644 index 8ae5a99..0000000 --- a/types/fzy-lua-native.d.tl +++ /dev/null @@ -1,5 +0,0 @@ -local record Fzy - score: function(string, string, boolean): integer -end - -return Fzy diff --git a/types/fzy.d.tl b/types/fzy.d.tl deleted file mode 100644 index b26f6f6..0000000 --- a/types/fzy.d.tl +++ /dev/null @@ -1,17 +0,0 @@ -local record Fzy - type Choices = record - add_incremental: function(Choices, {M}) - available: function(Choices): integer - elements: function(Choices): {{M, integer}} - search: function(Choices, string) - selected: function(Choices): M, integer - next: function(Choices): M, integer - prev: function(Choices): M, integer - get: function(Choices, integer): M - end - - create: function({M}): Choices - match: function(string, string): number, {integer} -end - -return Fzy diff --git a/types/luasnip.d.tl b/types/luasnip.d.tl deleted file mode 100644 index 8eef6d8..0000000 --- a/types/luasnip.d.tl +++ /dev/null @@ -1,17 +0,0 @@ -local record Luasnip - record Snippet - description: {string} - name: string - regTrig: boolean - trigger: string - wordTrig: boolean - end - - available: function(): {string: {Snippet}} - expandable: function(): boolean - expand: function() - lsp_expand: function(string) - get_active_snip: function(): Snippet -end - -return Luasnip diff --git a/types/nvim-treesitter/locals.d.tl b/types/nvim-treesitter/locals.d.tl deleted file mode 100644 index c877353..0000000 --- a/types/nvim-treesitter/locals.d.tl +++ /dev/null @@ -1,17 +0,0 @@ - -local record TSLocals - record LocalCapture - record Captured - node: vim.treesitter.TSNode - end - var: Captured|nil - ['function']: Captured|nil - associated: Captured|nil - parameter: Captured|nil - end - - get_definitions: function(integer): {LocalCapture} - iter_scope_tree: function(vim.treesitter.TSNode, integer|nil): {vim.treesitter.TSNode} -end - -return TSLocals diff --git a/types/nvim-treesitter/ts_utils.d.tl b/types/nvim-treesitter/ts_utils.d.tl deleted file mode 100644 index 752044f..0000000 --- a/types/nvim-treesitter/ts_utils.d.tl +++ /dev/null @@ -1,7 +0,0 @@ -local record TSUtils - get_node_at_cursor: function(integer|nil, boolean|nil): vim.treesitter.TSNode - get_root_for_position: function(integer, integer, vim.treesitter.TSTree|nil): vim.treesitter.TSNode - is_in_node_range: function(vim.treesitter.TSNode, integer, integer): boolean -end - -return TSUtils diff --git a/types/types.d.tl b/types/types.d.tl deleted file mode 100644 index 3038e44..0000000 --- a/types/types.d.tl +++ /dev/null @@ -1,162 +0,0 @@ -global record CompleteExtraInfo - source: string - extra: any -end - -global record CompleteItem - word: string - abbr: string|nil - menu: string|nil - info: string|nil - kind: string|nil - icase: integer|nil - equal: integer|nil - dup: integer|nil - empty: integer|nil - user_data: CompleteExtraInfo -end - -global type Source = function(string, integer): {CompleteItem}, string -global type Pipe = function(Source): Source -global type Completor = function(string, integer): boolean - -global record vim - record fn - record Tag - name: string - filename: string - cmd: string - kind: string - static: string - end - - taglist: function(string, string|nil): {Tag} - pumvisible: function(): integer - match: function(string|{string}, string, integer, integer): integer - mode: function(): string - getcwd: function(): string - complete: function(integer, {CompleteItem}) - reverse: function({T}): {T} - end - - record api - nvim_feedkeys: function(string, string, boolean) - nvim_err_writeln: function(string) - nvim_get_current_buf: function(): integer - nvim_get_current_line: function(): string - nvim_replace_termcodes: function(string, boolean, boolean, boolean): string - nvim_set_option: function(string, any) - nvim_get_option: function(string): any - nvim_get_vvar: function(string): any - nvim_buf_get_option: function(integer, string): any - nvim_buf_get_lines: function(integer, integer, integer, boolean): {string} - nvim_buf_set_text: function(integer, integer, integer, integer, integer, {string}) - nvim_win_set_cursor: function(integer, {integer, integer}) - nvim_win_get_cursor: function(integer): {integer, integer} - end - - record lsp - - record LspPosition - line: integer - character: integer - end - - record LspRange - start: LspPosition - ["end"]: LspPosition - end - - record LspTextEdit - range: LspRange - newText: string - end - - record LspCompletionItem - label: string - detail: string|nil - textEdit: LspTextEdit - insertTextFormat: integer|nil - insertText: string|nil - additionalTextEdits: {LspTextEdit} - kind: integer - end - - record LspResult - result: any - err: string|nil - end - - record LspClient - request_sync: function(string, any, integer, integer): LspResult - offset_encoding: string|nil - record server_capabilities - record completionProvider - resolveProvider: boolean - end - end - end - - - record util - apply_text_edits: function({LspTextEdit}, integer, string) - make_position_params: function(): any - extract_completion_items: function(any): {LspCompletionItem} - end - - record protocol - CompletionItemKind: {integer:string} - end - - buf_request_sync: function(integer, string, any): {integer:LspResult}, string|nil - get_client_by_id: function(integer): LspClient - end - - record loop - record FSIterator - end - fs_scandir: function(string): FSIterator - fs_scandir_next: function(FSIterator): string|nil, string - end - - record treesitter - record TSTree - end - - record TSNode - named_descendant_for_range: function(TSNode, integer, integer, integer, integer): TSNode - type: function(TSNode): string - end - - record TSQuery - captures: {integer: string} - - iter_captures: function(TSQuery, TSNode, integer, integer|nil, integer|nil, integer|nil, integer|nil): function(): integer, TSNode - end - - record query - parse: function(string, string): TSQuery - end - - get_node_text: function(TSNode, integer|nil): string - end - - schedule: function(function()) - startswith: function(string, string): boolean - endswith: function(string, string): boolean - str_byteindex: function(string, integer, boolean|nil): integer - - tbl_deep_extend: function(string, ...: table): table - tbl_map: function(function(T), {T}) - - list_extend: function({T}, {T}, integer|nil, integer|nil): {T} - - notify: function(string) - pretty_print: function(...: any) - inspect: function(...: any): string - print: function(...: any) -end - -global record jit - os: string -end -- 2.45.2