| ID |
Status |
Summary |
|
57
|
Started |
Invalid java code generated for instances of sub classes, logical errors in instance contexts not diagnosed
Type-Defect
Priority-Medium
Usability
|
|
56
|
Fixed |
-sp does not seem to work/ -make only works from current directory
Type-Defect
Priority-Medium
Usability
|
|
55
|
Fixed |
Product types are too lazy at times.
Type-Defect
Priority-Medium
|
|
54
|
Done |
case-expressions and =
Type-Other
Priority-Medium
|
|
53
|
Fixed |
exponential runtime and memory usage in frege.data.Stream
Type-Defect
Priority-Low
Performance
|
|
52
|
New |
Nice Frege Logo
Type-Enhancement
|
|
51
|
New |
Incomplete inlining
Type-Defect
Priority-Low
|
|
50
|
New |
Local self recursive values do not work.
Type-Defect
Priority-Low
|
|
49
|
Fixed |
"returnTypeN: too many arguments" in error log
Type-Defect
Priority-Medium
|
|
48
|
Fixed |
Problem with pointsfree style in type-classes
Type-Defect
Priority-Medium
|
|
47
|
Fixed |
Problem with phantom types in type-class instance
Type-Defect
Priority-Medium
|
|
46
|
Fixed |
tail call elimination does not yet work in all cases
Type-Defect
Priority-Medium
|
|
45
|
WontFix |
Java runtime error "NoSuchFieldError" when using Streams
Type-Defect
Priority-Medium
|
|
44
|
Fixed |
infix operators defined in implicit imports not recognized lexically
Type-Defect
Priority-Medium
|
|
43
|
Fixed |
Type x$1229459524_dollar cannot be resolved or is not a field
Type-Defect
Priority-Medium
|
|
42
|
New |
Please add the enumFrom... functions to the Prelude
Type-Enhancement
Priority-Medium
|
|
41
|
Fixed |
Bad code for implementations of non-exported default class functions.
Type-Defect
Priority-High
|
|
40
|
Fixed |
curry and uncurry definitions are inverted in PreludeBase
Type-Defect
Priority-Medium
|
|
39
|
Fixed |
Please add the liftA... functions to PreludeMonad
Type-Enhancement
Priority-Low
|
|
38
|
New |
Allow overlapping instances
Type-Enhancement
Priority-Medium
|
|
37
|
New |
Allow multiple instances
Type-Enhancement
Priority-Medium
|
|
36
|
New |
Flexible instances
Type-Enhancement
Priority-Medium
|
|
35
|
Fixed |
Fully support (->) in instances
Type-Defect
Priority-Medium
|
|
34
|
Started |
Kind Inference lacking
Type-Defect
Priority-Medium
Usability
|
|
33
|
Accepted |
Add Java class X or method X.m to the standard library
Type-Enhancement
Priority-Medium
|
|
32
|
Fixed |
Plase add Empty instance for Maybe
Type-Enhancement
Priority-Low
|
|
31
|
Fixed |
Plase add <$> to the Prelude
Type-Enhancement
Priority-Low
|
|
30
|
Fixed |
head [] in import X occurs when X defines a data X, a class C and an instance C X
Type-Defect
Priority-Medium
|
|
29
|
Fixed |
fregIDE sticks to old path after upgrade
Type-Defect
Priority-Medium
Component-UI
|
|
28
|
Fixed |
Superfluous methods generated that are final in overwritten class fro strict nullary constructor
Type-Defect
Priority-Medium
|
|
27
|
Accepted |
type alias unexpansion leads to nonsense in generated documentation
Type-Defect
Priority-Low
Component-Docs
|
|
26
|
Fixed |
Wrong syntax coloring in Eclipse IDE
Type-Defect
Priority-Medium
Component-UI
|
|
25
|
Fixed |
Change behaviour of qs@(q:_) - should be parsed as a pattern binding
Type-Enhancement
Priority-Medium
|
|
24
|
Fixed |
Instances on imported types
Type-Defect
Priority-Medium
OpSys-All
Usability
|
|
23
|
Fixed |
TAB key sometimes not working in Eclipse Frege editor
Type-Defect
Priority-Medium
Component-UI
|
|
22
|
Fixed |
Batch compiler will not work with spaces in file names/paths
Type-Defect
Priority-Low
Usability
|
|
21
|
Done |
Enhancement: easy support for calling Frege from Java
Type-Other
Priority-Medium
|
|
20
|
Fixed |
Integer literals in patterns not implemented in code generation
Type-Defect
Priority-Medium
Usability
|
|
19
|
Fixed |
wrong type inferred and crash in code generation
Type-Defect
Priority-Medium
Usability
|
|
18
|
Fixed |
instance method types are not checked well enough
Type-Defect
Priority-Low
Usability
|
|
17
|
Fixed |
fromMaybe is not lazy enough
Type-Defect
Priority-Medium
|
|
16
|
Fixed |
type aliases don't work as expected in type-classes
Type-Defect
Priority-Low
|
|
15
|
Fixed |
Bad code when using value bindings with function type that contain higher kinded type variables
Type-Defect
Priority-Medium
Usability
|
|
14
|
Fixed |
wrong check for implied constraints
Type-Defect
Priority-High
Usability
|
|
13
|
Fixed |
undefined on certain instances that aren't allowed anyway
Type-Defect
Priority-Medium
Usability
|
|
12
|
Fixed |
Compiler accepts qualified vars as patterns (WAS: miscompiled pattern matching)
Type-Enhancement
Priority-Medium
Usability
|
|
11
|
Fixed |
Investigate possibility of supporting operators with '.' in it.
Type-Enhancement
Priority-Low
Usability
|
|
10
|
Fixed |
bad code with typedef CAFs
Type-Defect
Priority-Medium
Usability
|
|
9
|
Verified |
Annotation overrides inferred constraints
Type-Defect
Priority-Medium
Usability
|
|
8
|
Fixed |
Kind of class variable not checked properly
Type-Defect
Priority-Medium
Usability
|
|
7
|
Verified |
function returning function - errors in generated jav code
Type-Defect
Priority-Medium
Usability
|
|
6
|
Fixed |
Command line option to change javac command
Type-Enhancement
Priority-Medium
OpSys-All
|
|
5
|
New |
Provide a QuickCheck Tool
Type-Enhancement
Priority-Low
Component-Scripts
|
|
4
|
Fixed |
native cannot cannot return boxed primitive
Type-Defect
Priority-Medium
Component-Logic
|
|
3
|
Fixed |
It is unclear what happens when 2 interfaces for same class and type constructor are imported.
Type-Enhancement
Priority-Low
Component-Docs
Usability
|
|
2
|
Fixed |
It's not possible to name a package org.foo.C.
Type-Defect
Priority-Low
Usability
|
|
1
|
Fixed |
frege.tools.Doc does not honor empty lines
Type-Defect
Priority-Medium
Usability
|
Code