GitLab

refactor, remove FunPos, it is only used in module postparse. where the identifier is also available from type ParsedDefinition

refactor ErrorAdmin class, change setErrorAdmin and pushErrorAdmin to setErrorPosition and pushErrorPosition with Ident and Position arguments instead of IdentPos, add function errorHeadingWithStringPos

refactor check error function calls, add checkErrorIdentWithIdentPos and checkErrorIdentWithPosition, use these instead of a check error function and newPosition, pushErrorAdmin + popErrorAdmin or setErrorAdmin

refactor, move some constructors of type VarInfo and types AuxiliaryPattern, OptionalVariable, AP_Kind and TypeCodeVariableInfo from module syntax to the module that uses it

if -o abc_file_name is specified use this file name for the abc file (this stopped working when creating the abc file was moved from the backend c code to Clean code)

bug fix, create new dp_type (pointer) in unfold (if a copy hasn't already been made) to prevent possible crash if a macro contains a dynamic pattern match

feature, make the (default) lists head strict (for [ ]) or head and tail strict (for [ !]) by adding 'with [!]' after the module name ('with []' is also permitted but has no effect)

refactor, remove ScanContext argument from function IsIdentChar, scan ^ at end of type variable in ScanIdentFast

bug fix, restore setting im_def_module in backend.c, used to set system bit for system modules in .abc file

bug fix, prevent ss_tokenBuffer overflow in module scanner for a sequence of offside defining tokens

refactor, in scanner add function insertBeforeStoredToken and use it instead of tokenBack and store in ss_tokenBuffer

refactor, in module scanner remove unused insertToken and replaceToken, in checkOffside move alternative for InToken, use =: instead of case and isEmpty, remove isEmptyBuffer test in tokenBack (get also tests this)

bug fix, report error if support for dynamics is not enabled and type Dynamic is used in a definition module

bug fix, prevent compiler crash for cyclic type definitions containing both non abstract type definition(s) with parameter(s) and abstract synonym or new type definition(s)

refactor, in module analtypes add local function anal_not_abstract_type_defs_in_group and rename is_abstract_type to has_abstract_type