tlang
/
tlang
mirror of http://deavmi.assigned.network/git/tlang/tlang.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
815 Commits
107 Branches
22 Tags
20 MiB
bugfix/funccall_stdalone_weighting
major/dotting
feature/oop
bugfix/binops_typecheck
feature/do_while_loops
cleanup/container_not_context_container
vardec_varass_dependency
feature/resolver_proxies
bugfix/handle_param_count_arg_mismatch
cleanup/pushback_removal
cleanup/path_trail_deps
cleanup/variable_in_variable_ass
feature/container_update_1
feature/aliases
cleanup/context_drop_container
cleanup/depgen_root_removal
feature/modifiers
bugfix/dgen_expressionless_returns
cleanup/remove_dnodegeneratorbase
feature/comments
feature/operator_precedence
feature/reporting
bugfix/single_line_comment_bug
feature/logging_upgrade
feature/multi_module
feature/unused_vars_detection
feature/container_methods
feature/strat_resolve_collectors
feature/predicate_based_resolver
feature/poolmngr
hotfix/func_defs_in_dep_generator
feature/lexer_improvements
feature/structs
feature/behavec_preinline
bugfix/fix_multi_compile
master
feature/annotations
hotfix/simply_varexp_dnode_generation
hotfix/jcli_upgrade_fix
feature/class_static_init
feature/universal_coercion
feature/cloneability
hotfix/expect_exception_change
bugfix/recursive_return_statement_check
bugfix/require_return
bugfix/return_type
feature/cleanup1
feature/clean_lexer_interface
research/gmalloc
feature/type_enforcer_cast_instr_emit
feature/meta_programming
feature/direct_func_call
bugfix/return_position
bugfix/is_same_type_fallback
feature/lexer_interface
feature/parser_interface
arrays
pointers
bugfix/function_parameter_type_parse
casting
literal_encodings
extern_symbols
compiler_object
uniform_stdalone_varass
remove_typequeue
linearizer_cleanup
parsetypedev_fix
modules
loops
conditionals
vdva_func_param_merge
function_parameters_fix
path_dependency
function_dep
parser
compiler_levels
develop
constants_float
constants
typecheck
deps_refactor
weighting
typecheck_refactor_varexp_makeacyclic
lexer
codegen
testing_thing
typecheck_refactor_varexp
typecheck_refactor
typecheck_codegen_educedparseclass
typecheck_codegen
type_check_codegen_reducedparseclass_excep
typecheck_reliancetree
static_support
codegen.sync-conflict-20210606-150925-O3W7KWN
typecheck.sync-conflict-20210606-150925-O3W7KWN
struct_support
develop.sync-conflict-20210606-150924-O3W7KWN
symbol_table
entity_declaration_type_checking
parser.sync-conflict-20210405-185821-O3W7KWN
parser_exception_before
develop_before_lexer_parser_merge_parseName
if_statement_parsing
exception_except
master.sync-conflict-20210316-165421-O3W7KWN
expression_parsing
expression_parsing.sync-conflict-20210316-090018-O3W7KWN
v0.5.3
v0.5.2
v0.5.1
v0.5.0
v0.4.4
v0.4.3
v0.4.2
v0.4.1
v0.4.0
v0.3.0
v0.2.0
v0.1.0
v0.0.5
v0.0.4
v0.0.3
v0.0.2
v0.0.1
pointers_coerce
pointer_cast_merge
parsetypeddeclaration_onlytype_parsecast_new
multimodule/changeset2
multimodule/changeset1
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'v0.5.2'
${ noResults }
Commit Graph

815 Commits (v0.5.2)
 

Author SHA1 Message Date
Tristan B. V. Kildaire e1e554d6ba Command-line 
- Added missing exception catch
 1 year ago
Tristan B. V. Kildaire 078a971a67 Lexer 
- When throwing an exception when lexing include the current position and column
 1 year ago
Tristan B. V. Kildaire d716c306a2 Lexer 
- Fully integrated new `LexerException` system into `performLex()`

COmmand-line

- Updated `commands.d` to catch any `TError` and report the error back

Parser

- Updated unittests to use `LexerException`

Compiler

- Disabled unit tests for now as they cause errors
 1 year ago
Tristan B. V. Kildaire 5fd1bef2a4 Lexer 
- Added new exception type `LexerException`
- Added `LexerError` enum to support various error types of the `LexerException` exception type
 1 year ago
Tristan B. V. Kildaire 31adeb4223 Compiler 
- Added back tests as commented-out block
 1 year ago
Tristan B. V. Kildaire 62ca320c76 Compiler 
- Removed unses `Lexer[]` `lexers` array
- Disabled some tests
 1 year ago
Tristan B. V. Kildaire cd43b41d66 Merge branch 'vardec_varass_dependency' into compiler_object 1 year ago
Tristan B. V. Kildaire 57ebd443b0 Dependency 
- Now throws a `DependencyException` on erronenous calls
- Added `DependencyException` exception class and `DependencyError` enum
 1 year ago
Tristan B. V. Kildaire 68e1a25c9a Dependency 
- Actually removed `static DNode[] poes`
- Actually added some todos

TypeChecker

- Actually removed any references to `DNode.poes`
 1 year ago
Tristan B. V. Kildaire 2ee2bc22a4 Dependency 
- `getLinearizedNodes()` returns the `DNode[]` of the linearization results
` `getTree()` returns the string representation of the dependency tree
- New linearization method which requires calling `performLinearization()` before `getLinearizedNodes()` or `getTree()`, if not then an exception is thrown
- Made `tree()` private
- `tree()` now takes in argument `ref DNode[]` of which it will read the linerization into instead of `static DNode[] poes`
- Added comment regarding Problem 5 of issue #41
- Removed `static DNode[] poes`

TypeCheck

- Added better comments
- Switched to new linearization methods for both module-level processing and function definition (`FuncData`) processing
- Removed any reference to `DNode.poes`
 1 year ago
Tristan B. V. Kildaire 44f8392450 - Ren-enabled tests for multiple files 1 year ago
Tristan B. V. Kildaire 8edc03e3f3 Merge branch 'extern_symbols' into vardec_varass_dependency 1 year ago
Tristan B. V. Kildaire a987f114ac Compiler 
- Moved configuration sub-system to its own class `CompilerConfiguration`
- `getConfig()` and `setConfig()` are now templatised to generate, at compile-time, type-specific versions which will fetch and convert using the requested type
- Added some more default configuration parameters for DGen

DGen

- Implemented configuration checking for `genTabs()` and `emitEntryPoint()` (both which have the default config value of `true`)
- Added commented-out testing code (see issue #88)
 1 year ago
Tristan B. V. Kildaire a772b55966 Compiler 
- Added missing `typeChecker.beginCheck()` call to the TypChecker in `compile()`
- Print error on lexing error
- Removed old compilation code and replaced with an instantiation of a `Compiler` object and a corresponding call to `.compile()`
 1 year ago
Tristan B. V. Kildaire b986a2b193 - Added `texterned.c` for later extern testing 1 year ago
Tristan B. V. Kildaire 9e79bc6f8b Parser 
- Added comments and removed TODO for now complete feature on `parseTypedDeclaration()`

Dependency

- Added support for external variable symbols to `transform()` for declarations, assignments and variable expressions

Test cases

- Updated extern evar test case to new symbol name that wouldn't clash
- Added assignment usage and expression usage
 1 year ago
Tristan B. V. Kildaire cb42713377 Merge branch 'parsetypedev_fix' into extern_symbols 1 year ago
Tristan B. V. Kildaire 75e2fc2e68 Parser 
- `parseTypedDeclaration()`  will no longer consume the SEMICOLON after a vardec
- `parseTypedDeclaration()` will no longer consume theSEMICOLON after an assignment
- `parseName()` will expect a semicolon if the returned object from `parseTypedDeclaration()` is of type `Variable`. If of type `Function` then nothing will be expected
 1 year ago
Tristan B. V. Kildaire d288440e18 Parser 
- Added `allowVarDec` and `allwFuncDef` to `parseTypedDeclaration()` as default arguments with `true` as their default values
- If `allowFuncDef` is true then parse a function
- If `allowVarDec` is `true` then allow a variable definition
- If `allowVarDec` is true but we have an assignment and `wantsBody` is false then throw an error
- NOTE: A fix for `parseTypedDeclaration()` is needed for this to work

Tests

- Updated `simple_extern.t` to include an `extern evar`
 1 year ago
Tristan B. V. Kildaire a7bfed12fb Compiler 
- Added parameter configuration management interface for the `Compiler` object
- Added `defaultConfig()` for setting the default config
 1 year ago
Tristan B. V. Kildaire 37debd8160 Compiler 
- Added some comments and now use the provided `outFile` for code emitting stage in `Compiler` class
 1 year ago
Tristan B. V. Kildaire 167e946b34 Compiler 
- Implemented type `Compiler` which wraps compilation all into one object which can have `compile()` called on it to perform the full sequence of tests
 1 year ago
Tristan B. V. Kildaire aa11af5bba - Removed added debug prints which were not needed actually 1 year ago
Tristan B. V. Kildaire 2abb28bcaf Check 
- Added new symbol types `EXTERN`, `EXTERN_EFUNC` and `EXTERN_EVAR` and related back-mappings

Parser

- `parseFuncDef()` now accepts a default argument (set to `true`) on whether to expect a body for a function or not, in the not case expect a semi-colon - this helps with extern support
- Likewise because `parseFuncDef(bool wantsBody = true)` is called by `parseTypedDeclaration()` we have added same argument to `parseTypedDeclaration(bool wantsBody = true)`
- Ensure we pass the parameter from `parseTypedDeclaration()` into `parseFuncDef(bool)` in function definition case
- Implemented `parseExtern()` for extern support
- `parse()` supports `SymbolType.EXTERN` now

Data

- Added `ExternStmt` to represent the parser node derived from a call to `parseExtern()`
- The `Entity` parser node type now has an `isExternal()` flag to know if the entity is marked for `extern` link time or TLang internal time (default)

Typechecker

- Implemented `processPseudoEntities(Container)` which loops through the given container and finds all extern statements and then extracts those nodes, parents them to the given container and marks them as external (pseudo-handling support)
- Added first call inside `beginCheck()` to be a call to `processPseudoEntities(modulle)`

Dependency

- Added useless no-op check for `ExternStmt` - it does nothing

DGen

- In `emitFunctionSignature()`, prepend the string `extern ` to the signatur if the given `Function` entity is marked as external (`isExternal()` is true)
- In `emitFunctionDefinitions()` do not emit a function body at all (or anything, no signature) if the `Function` is marked as external (`isExternal()` is true)
- Added entry point test for `simple_extern.t`
 1 year ago
Tristan B. V. Kildaire d3e15e7a2f Merge branch 'pointers' into vardec_varass_dependency 1 year ago
Tristan B. V. Kildaire bbb9aaaa51 Typing 
- Added `getReferType()` to `Pointer` type to refer the `Type` instance of the data being pointed to

DGen

- Fixed bug whereby pointer types were not being transformed correctly in typeTransform()`
 1 year ago
Tristan B. V. Kildaire 7f8973a4aa DGen 
- VariableParameter's now have their `Type` object extracted and type transformed as part of function definitions.

Tests cases

- Updated `simple_cast.t` to test new typeTransform() usage on VariableParameter (as stated above)
 1 year ago
Tristan B. V. Kildaire b1d168ab44 Typechecker 
- Extract the `Variable`'s `Type` object and pass it into the instruction constructor

Instruction

- `VariableDeclaration` instruction now takes in an instance of `Type` upon construction

Dependency

- Fixed null pointer exception where Function did not have its `context` set

DGen

- Added `typeTransform(Type)` to transform the given types into the C equivalent
- Variable declarations use `typeTransform()` now
- Casting instructions use `typeTransform()` now
- Added `emitStdint()` to emit `#include<stdint.h>` as part of header in generated C code
- `generateSignature(Function)` now uses `typeTransform()` for the return type emit
 1 year ago
Tristan B. V. Kildaire b7b30db391 - Updated test case 1 year ago
Tristan B. V. Kildaire 113386ebe2 Instruction 
- Implemented new instruction `CastedValueInstruction`
- Added import for `Type`

DGen

- Implemented primitive type casting code generation in `transform()`
- Added import for `Type` and `Primitive`

Parser

- Implemented `parseCast()` which is called by `parseExpression()`

Check

- Added new symbol type `SymbolType.CAST`

Expressions

- Implemented new expression type `CastedExpression`

Typechecker

- Implemented processing of `CastedExpression` in the expression section, along with correct type/instruction pushes and pops

Dependency

- Implemented dependency generation of `CastedExpression` in `expressionPass()`

Test cases

- Added test file `simple_cast.t`
 1 year ago
Tristan B. V. Kildaire 2c91213249 - Cleaned up test case whitespace 1 year ago
Tristan B. V. Kildaire 6b3fccfc15 Types 
- Added `getReferredType()` to `Pointer` to fetch the type of the data being referred to

Typechecker

- Unary operator `STAR` now will check popped type, ensure it is a pointer, then push the type of the referred-to data

Test cases

- Updated the `simple_pointer.t` test case to do pointer dereferencing

DGen

- Updated entry point testing code for the pointer test `simple_pointer.t`
 1 year ago
Tristan B. V. Kildaire c1ba609609 Resolution 
- Fixed indentation
 1 year ago
Tristan B. V. Kildaire 7a12c25f74 DGen 
- We now emit function prototypes
 1 year ago
Tristan B. V. Kildaire 2072c23fb9 Typecheck 
- Disabled unit test (for now) as it uses module-level `discard` statements
 1 year ago
Tristan B. V. Kildaire a4b9e7b393 Parser 
- Don't allow `discard` statements at the module-level
 1 year ago
Tristan B. V. Kildaire 6333fdcd42 Instruction 
- Added new instruction `DiscardInstruction`

DGen

- Added ability to transform `DiscardInstruction`

Parser

- Implemented `parseDiscard()`
- Removed a TODO
- Added a unittest testing the new `parseDiscard()`
- Typo fixes here and there in unittests

Data

- Added new parser node `DiscardStatement`

Typechecker

- Added codegen for `DiscardStatement` type

Dependency

- Added dependency processing for `DiscardStatement` type

Tests

- Added new test case `simple_discard.t`
 1 year ago
Tristan B. V. Kildaire 1dd70911d0 Typecheck 
- Marked code as dead
 1 year ago
Tristan B. V. Kildaire 0480cecef6 Typecheck 
- Cleaned up old comments and fixed some to be more precise
- Removed some debug prints
 1 year ago
Tristan B. V. Kildaire 934bbb3b30 - Removed old unused code 
- Moved exceptions class for typechecker from `old/` to `typecheck/`
 1 year ago
Tristan B. V. Kildaire 7224829fcb Parser 
- Added support for n-ary pointer types in function parameters
- Added a test case for the above
- Updated current pointer test to test function type n-ary as well (return type)
 1 year ago
Tristan B. V. Kildaire 5827f16e2a Instruction 
- Added `getOperator()` and `getOperand()` methods to `UnaryOpInstr`
- Added new instruction `PointerDereferenceAssignmentInstruction` for pointer support

DGen

- Updated `transform()` to emit code for instruction type `UnaryOpInstr`
- Updated `transform()` to emit code for instruction type `PointerDereferenceAssignmentInstruction`
- Added testing emit code in `emitEntryPoint()` for pointer testing

Parser

- Updated `parseName()` to trigger `parseTypedDeclaration()` on occurene of `SymbolType.STAR` (for pointer type declarations)
- Added pointer-type support for function parameters (so far only single) in `parseFuncDef()`
- `parseExpression()` terminates on occurence of a single `=` (ASSIGN) operator
- Declaring of pointers of any depth implemented in `parseTypedDeclaration()`
- Added support for pointer dereferncing assignments with the addition of `parseDerefAssignment()`
- `parseStatement()` will now call `parseDerefAssignment()` on occurence of a `SymbolType.STAR`
- Added a unittest for testing pointers
- Finished unittest for for loops

Check

- Added backmapping for `SymbolType.ASSIGN` -> `&`

Data

- Added new parser node type `PointerDereferenceAssignment` for pointer support in the parser

TypeChecker

- Because function parameters are type che cked upon function call I had to add typechecking code for pointer support in the `UnaryOperatorExpression` case
- Added code generation support for `PointerDereferenceAssignment` type

Dependency

- Added support for `PointerDereferenceAssignment` type (pointer support) to `generalStatement()`

Tests

- Added pointer test `simple_pointer.t`
 1 year ago
Tristan B. V. Kildaire 11b2d1d1ea - Updated `copyright` field in dub.json 1 year ago
Tristan B. V. Kildaire 7a0bbe6631 Updated `author` field in dub.json 1 year ago
Tristan B. V. Kildaire c78031a2e7 Merge branch 'loops' into vardec_varass_dependency 1 year ago
Tristan B. V. Kildaire 0d877f81a4 - Added a few more backmappings 1 year ago
Tristan B. V. Kildaire d7037136dc Merge branch 'loops' into vardec_varass_dependency 1 year ago
Tristan B. V. Kildaire c51712e275 - Added for future use 1 year ago
Tristan B. V. Kildaire edc81ee651 Merge branch 'loops' into vardec_varass_dependency 1 year ago
Tristan B. V. Kildaire 5722fe0825 - Removed now undeeded debug 1 year ago