tbklang / tlang / #1297

79%

master: 50%

Build Type

push

coveralls-ruby

Committed by web-flow

Commit Message

⚡ Feature: Type remapping (#80)

* TypeAlias

- Defined

* SymbolType

- Added `TYPE_REMAP` + backmapping

* Parser

- Added module-level support for type aliases

* Parser

- Fixed up parsing

* Test cases

- Added test case

* Parser

- Added basic support for type remapping (no cycle detection yet)

* Parser

- Cleaned up

* Test cases

- Added another test case

* Depgen

- We now `touch(TypeAlias)` and pool it

* Dependency generator

- Prevent usage of type aliaes before declared

* Depgen

- Fixed error

* Test cases

- Added one

* fixed up

* TypeChecker

- Cleaned up

* fiox

* Workflows

- Added test

* MetaProcessor

- No longer perform built-in `size_t` and `ssize_t` remapping

size_t

- Added new module which performs `size_t` and `ssize_t` remapping

builtins

- Check for `size_t` and `ssize_t` type strings via the `size_t` module

* Test cases

- Added

* TypeChecker

- Added some stuff

* Revert "TypeChecker"

This reverts commit c2c04dddf.

* TypeAlias

- Set `weight` to `1` so that we appear before variable declarations that may use our type; therefore getting rid of the cycle in `type_aliases/cycle_usage.t`

* Dependency

- Added unittest for use-before-declare checking

* Dependency

- Added another unittest for use-before-declare checking

* Workflows

- Added another test case

* Remaps

- Added explanation for the `weight = 1`

* TypeChecker

- Removed impossible assertion as every other case would return if `builtinType` was `null`

Run Details

59 of 89 new or added lines in 7 files covered. (66.29%)

114 existing lines in 5 files now uncovered.

5255 of 6657 relevant lines covered (78.94%)

366.12 hits per line