Issues · clean-compiler-and-rts / compiler · GitLab

Impossible to compile something with a ':' in the directory path

#1 · opened Oct 25, 2018 by Mart Lubbers
- 4
updated Oct 26, 2018
strange behaviour of NaN comparison

#2 · opened Nov 27, 2018 by Steffen Michels
- CLOSED
- 8
updated Jan 14, 2019
Issues with multiple instances of the same class in class contexts

#3 · opened Dec 01, 2018 by Camil Staps
- CLOSED
- 4
updated Dec 05, 2018
Default class members require imports for their implementation

#4 · opened Dec 12, 2018 by Camil Staps
- CLOSED
- 8
updated Mar 26, 2019
required newline for local definitions in ZF expressions

#5 · opened Jan 29, 2019 by Mart Lubbers
- CLOSED
- 2
updated Jan 29, 2019
expression in where-block are evaluated multiple times if they have a type signature

#6 · opened Jan 31, 2019 by Steffen Michels
- 1
- 3
updated Mar 17, 2019
compiler chrashes with "Run time error, rule 'equalize_atypes_attributes' in module 'overloading' does not match"

#7 · opened Feb 27, 2019 by Steffen Michels
- CLOSED
- 2
updated Mar 04, 2019
swapped class arguments with functional dependencies

#8 · opened Mar 06, 2019 by Steffen Michels
- CLOSED
- 2
updated Mar 07, 2019
compiler can't solve overloading

#9 · opened Mar 07, 2019 by Steffen Michels
- CLOSED
- 1
updated Jun 11, 2019
aligned non-unifiable types in error messages

#10 · opened Apr 02, 2019 by Steffen Michels
- CLOSED
- 2
updated Apr 05, 2019
Confusing overloading error

#11 · opened Apr 09, 2019 by Camil Staps
- 0
updated Apr 09, 2019
Compiler crashes when special is used with the wrong kind

#12 · opened Apr 17, 2019 by Camil Staps
- CLOSED
- 2
updated Apr 24, 2019
Add the => qualified construct to the master compiler

#13 · opened Apr 24, 2019 by Camil Staps
- 0
updated Apr 24, 2019
Segmentation fault on Windows with {|CONS of {..}|} instead of {|CONS of d|} for module-internal generic

#14 · opened May 14, 2019 by Camil Staps
- CLOSED
- 2
updated May 15, 2019
Compiler fails to find instances (master) / crashes (itask)

#15 · opened May 17, 2019 by Camil Staps
- 3
updated May 21, 2019
Mac version of compiler (2.4) generates illegal assembly double constants

#16 · opened Sep 05, 2018 by Franc Grootjen
- CLOSED
- 2
updated Apr 16, 2020
Abstract newtypes are not accepted by the compiler

#17 · opened Jul 12, 2018 by Mart Lubbers
- CLOSED
- 4
updated Dec 02, 2019
Inline type hints for polymorphic results of copy_from_string and friends

#18 · opened Jun 25, 2018 by Camil Staps
- CLOSED
- 3
updated Apr 24, 2020
derivations are automatically imported, even if using explicit imports

#19 · opened Jun 14, 2018 by Mart Lubbers
- 0
updated Jun 03, 2019
Improper detection of iTask constraints

#20 · opened Oct 09, 2015 by Jurriën Stutterheim
- 0
updated Jun 03, 2019
Polymorph extensible ADTs cannot be extended

#21 · opened Jun 20, 2018 by Mart Lubbers
- CLOSED
- 1
updated Jun 03, 2019
Weird error message for impossible anonymous type variable

#22 · opened Jun 21, 2018 by Camil Staps
- CLOSED
- 2
updated Jun 03, 2019
Polymorph currying in class constraint or using forall quantification in class constraints

#23 · opened Jun 22, 2018 by Mart Lubbers
- CLOSED
- 1
updated Jun 03, 2019
Unexpected behaviour of type synonyms with type variables

#24 · opened Jul 09, 2018 by Mart Lubbers
- CLOSED
- 6
updated Jun 03, 2019
Linux version 2.4 of compiler fails on linking on clean install of ubuntu 18.04.1

#25 · opened Sep 05, 2018 by Stijn de Boer
- CLOSED
- 3
updated Jun 03, 2019
Compiler cannot solve overloading for alias classes

#26 · opened Oct 01, 2018 by Steffen Michels
- CLOSED
- 1
updated Jun 03, 2019
Type Synonyms with Type Variables

#27 · opened Oct 01, 2018 by Steffen Michels
- CLOSED
- 2
updated Jun 03, 2019
Class constrains in let .. in or #

#28 · opened Oct 01, 2018 by Haye Böhm
- CLOSED
- 1
updated Jun 03, 2019
Compiler crashes with "Run time error, rule 'matchListsOfATypes' in module 'overloading' does not match"

#29 · opened Oct 04, 2018 by Steffen Michels
- CLOSED
- 5
updated Jun 03, 2019
Changes to class members break some explicit imports

#30 · opened Oct 11, 2018 by Camil Staps
- CLOSED
- 3
updated Jun 03, 2019
Detection of iTask instance not working well

#31 · opened Mar 30, 2015 by Jurriën Stutterheim
- CLOSED
- 1
updated Jun 03, 2019
Type signature required in some cases

#32 · opened Mar 30, 2015 by Jurriën Stutterheim
- CLOSED
- 1
updated Apr 07, 2020
Refactor the way we detect the presence of the Tonic module

#33 · opened Mar 31, 2015 by Jurriën Stutterheim
- CLOSED
- 1
updated Jun 03, 2019
Overloaded tasks not wrapped

#34 · opened Mar 31, 2015 by Jurriën Stutterheim
- CLOSED
- 1
updated Jun 03, 2019
ccall documentation

#35 · opened Jun 15, 2018 by Steffen Michels
- CLOSED
- 8
updated Jun 03, 2019
tags: replace dots by slashes in file path to hierarchical modules

#36 · opened May 25, 2016 by Markus Klinik
- CLOSED
- 0
updated Jun 03, 2019
tags: create entries for class definitions and instances

#37 · opened May 25, 2016 by Markus Klinik
- CLOSED
- 1
updated Jun 03, 2019
`iTasks.UI.Editor.Generic` breaks generic fusion

#38 · opened Jun 13, 2018 by Steffen Michels
- CLOSED
- 6
updated Jun 03, 2019
Single-line comments are recognized in multi-line comments, so multi-line comments cannot be closed after //

#39 · opened Jun 06, 2019 by Camil Staps
- CLOSED
- 0
updated Sep 17, 2019
abstract Text.GenPrint.PrintState causes segfault

#40 · opened Jun 11, 2019 by Steffen Michels
- CLOSED
- 12
updated Jun 25, 2019
Segmentation fault when time profiling iTasks programs (Linux x64)

#41 · opened Jun 20, 2019 by Steffen Michels
- CLOSED
- 2
updated Jul 01, 2019
Non-termination in backend

#42 · opened Jul 03, 2019 by Camil Staps
- CLOSED
- 1
updated Jul 14, 2019
Runtime error in the compiler

#43 · opened Jul 22, 2019 by Mart Lubbers
- CLOSED
- 0
updated Jul 23, 2019
Existentially quantified variables that are not used

#44 · opened Jul 25, 2019 by Camil Staps
- CLOSED
- 1
updated Aug 05, 2019
Some modules can be compiled when imported, but not as a main project module

#45 · opened Sep 10, 2019 by Camil Staps
- 2
updated Sep 16, 2019
Runtime error in bimaps_with_arg in generics1

#46 · opened Sep 18, 2019 by Camil Staps
- CLOSED
- 2
updated Sep 18, 2019
iTask compiler rejects non-overlapping instances as identical

#47 · opened Sep 19, 2019 by Steffen Michels
- CLOSED
- 7
updated Oct 25, 2019
Inconsistencies in linux build scripts between master and itask

#48 · opened Sep 24, 2019 by Camil Staps
- CLOSED
- 2
updated Sep 24, 2019
user defined types with uniqueness attributes not accepted by iTasks compiler

#49 · opened Sep 30, 2019 by Steffen Michels
- CLOSED
- 2
updated Sep 30, 2019
Compiler crashes for some malformed existential data type

#50 · opened Oct 10, 2019 by Mart Lubbers
- CLOSED
- 1
updated Oct 23, 2019
New semantics for overlapping instances and instances of abstract synonym types

#51 · opened Oct 23, 2019 by Camil Staps
- CLOSED
- 2
updated Dec 02, 2019
TC instance for abstract synonym types

#52 · opened Oct 25, 2019 by Camil Staps
- CLOSED
- 3
updated Dec 02, 2019
"No instance available" after adding another, similar, instance

#53 · opened Oct 26, 2019 by Camil Staps
- CLOSED
- 1
updated May 12, 2020
'update undefined' when array updates are used and a local function 'update' is defined

#54 · opened Oct 30, 2019 by Camil Staps
- 0
updated Oct 30, 2019
Issue with generic functions for boxed arrays

#55 · opened Oct 30, 2019 by Mart Lubbers
- CLOSED
- 1
updated Oct 30, 2019
Run time error, rule 'find_instance;201' in module 'overloading' does not match

#56 · opened Oct 30, 2019 by Steffen Michels
- CLOSED
- 3
updated Oct 31, 2019
Newtypes of unboxable types cannot be unboxed in arrays any more

#57 · opened Nov 04, 2019 by Camil Staps
- CLOSED
- 2
updated Nov 04, 2019
Multiply defined error for instances of types imported qualifiedly

#58 · opened Nov 14, 2019 by Camil Staps
- CLOSED
- 2
updated Nov 14, 2019
defining record types with overloaded functions on universally quantified variables

#59 · opened Jan 25, 2020 by Steffen Michels
- 0
updated Jan 25, 2020
Index out of range in freshAlgebraicType in iTask compiler

#60 · opened Feb 17, 2020 by Camil Staps
- CLOSED
- 2
updated Feb 19, 2020
rank2 polymorphism problem with newtypes

#61 · opened Feb 19, 2020 by Mart Lubbers
- CLOSED
- 1
updated Feb 21, 2020
Cannot unify types when using an existentially quantified type variable in two record fields

#62 · opened Feb 20, 2020 by Camil Staps
- CLOSED
- 2
updated Mar 02, 2020
More aggressive optimizations for lambdas

#63 · opened Mar 19, 2020 by Camil Staps
- CLOSED
- 2
updated Mar 20, 2020
Run time error and many "inconsistent attribution" errors when using an undefined type

#64 · opened Mar 23, 2020 by Camil Staps
- CLOSED
- 2
updated Mar 25, 2020
Incorrect incorrect type warning

#65 · opened Apr 02, 2020 by Camil Staps
- CLOSED
- 2
updated May 27, 2020
Compiler crashes for some derivations of [# !] and [#] in combination with newtypes

#66 · opened Apr 07, 2020 by Mart Lubbers
- CLOSED
- 3
updated Apr 16, 2020
Runtime error in the compiler when using generics in conjunction with abstract newtypes

#67 · opened Apr 16, 2020 by Mart Lubbers
- CLOSED
- 1
updated May 11, 2020
Generic instances of unboxed arrays with higher-kinded element types

#68 · opened Jun 03, 2020 by Camil Staps
- 4
updated Jun 03, 2020
Incorrect error message for inconsistently attribution in classes

#69 · opened Jun 03, 2020 by Mart Lubbers
- CLOSED
- 0
updated Jul 06, 2020
Run time error, rule 'has_no_curried_macro_CasePatterns;402' in module 'transform' does not match

#70 · opened Jun 22, 2020 by Camil Staps
- CLOSED
- 2
updated Jun 23, 2020
Crash with: no TypeCons

#71 · opened Jul 06, 2020 by Mart Lubbers
- 0
updated Sep 16, 2020
?Just not allowed in patterns in parentheses

#72 · opened Aug 11, 2020 by Camil Staps
- CLOSED
- 2
updated Aug 13, 2020
generic type information still contains synonyms

#73 · opened Sep 16, 2020 by Mart Lubbers
- 0
updated Sep 16, 2020