issues
search
ggreif
/
omega
Automatically exported from code.google.com/p/omega
Other
7
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
re-enable readline support
#61
GoogleCodeExporter
closed
9 years ago
4
Mtc has strange fixpoint definition
#60
GoogleCodeExporter
opened
9 years ago
0
HasFixpoint --> MonadFix
#59
GoogleCodeExporter
closed
9 years ago
3
"run" acts strangely on lazy values
#58
GoogleCodeExporter
closed
9 years ago
4
variable of type "Code a" accepted in [| . |]-brackets, but causes trouble when executed
#57
GoogleCodeExporter
closed
9 years ago
2
apparently type-safe program causes eclatant runtime type mismatch
#56
GoogleCodeExporter
opened
9 years ago
8
accept #line directives (from generated code)
#55
GoogleCodeExporter
opened
9 years ago
0
impossible to write inductive-sequential functions with tags
#54
GoogleCodeExporter
closed
9 years ago
2
rules appear duplicated
#53
GoogleCodeExporter
closed
9 years ago
4
restrictive occurs test with data constructor arguments
#52
GoogleCodeExporter
closed
9 years ago
3
restrictive occurs test with data constructor arguments
#51
GoogleCodeExporter
closed
9 years ago
4
ghc-6.8.1 compilation fails
#50
GoogleCodeExporter
closed
9 years ago
6
regression with type inference
#49
GoogleCodeExporter
opened
9 years ago
6
refinement failure with recursive Equal
#48
GoogleCodeExporter
opened
9 years ago
4
unification fails due to missing normalization
#47
GoogleCodeExporter
opened
9 years ago
6
constraints not properly reflected upon deconstruction
#46
GoogleCodeExporter
opened
9 years ago
7
level confusion when using data constructors in the type declaration
#45
GoogleCodeExporter
opened
9 years ago
0
easy to shoot in foot with theorem
#44
GoogleCodeExporter
opened
9 years ago
1
proving constraints without specialization
#43
GoogleCodeExporter
closed
9 years ago
8
record printing flawed in error message
#42
GoogleCodeExporter
closed
9 years ago
4
literal tag names not accepted in nested patterns
#41
GoogleCodeExporter
closed
9 years ago
9
LangEval.hs does not specify export list
#40
GoogleCodeExporter
closed
9 years ago
5
type inference in patterns with GADTs fails
#39
GoogleCodeExporter
opened
9 years ago
5
parsing of levelled forall types sometimes fails
#38
GoogleCodeExporter
opened
9 years ago
0
level variable confusion
#37
GoogleCodeExporter
opened
9 years ago
2
typos in Users' manual
#36
GoogleCodeExporter
opened
9 years ago
9
solver deficiency with substitutable equations
#35
GoogleCodeExporter
opened
9 years ago
3
narrowing steps not threaded through subproblems
#34
GoogleCodeExporter
closed
9 years ago
4
simple narrowing operation fails
#33
GoogleCodeExporter
opened
9 years ago
0
remove Prop kind and associated cruft
#32
GoogleCodeExporter
closed
9 years ago
6
operator ambiguity with code brackets
#31
GoogleCodeExporter
opened
9 years ago
0
built-in functions displayed in a weird way
#30
GoogleCodeExporter
closed
9 years ago
7
extend (,) type constructor to be multi-level
#29
GoogleCodeExporter
opened
9 years ago
1
missing normalization in constraints
#28
GoogleCodeExporter
closed
9 years ago
6
Absurdity appears as truth in certain pattern matches
#27
GoogleCodeExporter
opened
9 years ago
0
underscore (in type vars) confuses parser badly
#26
GoogleCodeExporter
opened
9 years ago
2
0t not accepted in type function LHS
#25
GoogleCodeExporter
closed
9 years ago
8
support for linear values/data
#24
GoogleCodeExporter
opened
9 years ago
4
occurs check before normalization
#23
GoogleCodeExporter
closed
9 years ago
8
@ syntax more restrictive than Haskell's
#22
GoogleCodeExporter
opened
9 years ago
0
LLVM backend to Omega
#21
GoogleCodeExporter
opened
9 years ago
7
Unknown Var at level 0 bind
#20
GoogleCodeExporter
closed
9 years ago
7
multiple type declarations on one line not allowed
#19
GoogleCodeExporter
closed
9 years ago
4
Improve error message on illegal equating
#18
GoogleCodeExporter
closed
9 years ago
2
List-type syntax constructors not properly checked
#17
GoogleCodeExporter
opened
9 years ago
8
port to macports.org
#16
GoogleCodeExporter
closed
9 years ago
2
keep separate histories for prompt> and check>
#15
GoogleCodeExporter
opened
9 years ago
1
lift does not work with saturated constructors
#14
GoogleCodeExporter
closed
9 years ago
5
pattern variable names with leading capital letter accepted
#13
GoogleCodeExporter
closed
9 years ago
8
missing post-facto type inference
#12
GoogleCodeExporter
opened
9 years ago
4
Previous
Next