google-code-export omega issues

google-code-export / omega

Automatically exported from code.google.com/p/omega

Other

2 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