cartazio omega issues - Githubissues

cartazio / omega

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

Other

4 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

L and K should be available at the type (or above) level

#111 GoogleCodeExporter closed 8 years ago
2
tyfun rule is kind-unsafe, but still accepted

#110 GoogleCodeExporter opened 8 years ago
0
solitary patterns involving type functions do not work

#109 GoogleCodeExporter opened 8 years ago
0
toplevel binding being defined not in scope of 'where' clause

#108 GoogleCodeExporter closed 8 years ago
1
prop rules malfunction when overlaps exist

#107 GoogleCodeExporter closed 8 years ago
3
42t is accepted at the value level

#106 GoogleCodeExporter opened 8 years ago
0
Single colons in :k and :t

#105 GoogleCodeExporter closed 8 years ago
4
bad type function accepted as inductively sequential

#104 GoogleCodeExporter opened 8 years ago
0
Int type overflows

#103 GoogleCodeExporter opened 8 years ago
0
repl misformats certain labels

#102 GoogleCodeExporter opened 8 years ago
1
Printing type of polymorphic constructor

#101 GoogleCodeExporter opened 8 years ago
1
document "pattern" declarations

#100 GoogleCodeExporter opened 8 years ago
1
":k (~>)" crashes

#99 GoogleCodeExporter opened 8 years ago
1
'Ex' inside data constructor does not typecheck

#98 GoogleCodeExporter opened 8 years ago
1
kill off 'primitives'

#97 GoogleCodeExporter opened 8 years ago
1
enhance built-in Parser type to provide everything needed for parsing Omega itself

#96 GoogleCodeExporter opened 8 years ago
3
function returning pair with higher-rank type does not typecheck

#95 GoogleCodeExporter opened 8 years ago
3
Wrong type inference in rank-2-type

#94 GoogleCodeExporter closed 8 years ago
3
Does not compile with GHC 7.0.3

#93 GoogleCodeExporter closed 8 years ago
1
provide a cabal package

#92 GoogleCodeExporter opened 8 years ago
3
Crash with redundant forall

#91 GoogleCodeExporter opened 8 years ago
13
pattern matching of functions should be rejected (as in GHC)

#90 GoogleCodeExporter opened 8 years ago
1
type annotation with :: has strange priority

#89 GoogleCodeExporter closed 8 years ago
4
allow syntax extension for the *type* constructor

#88 GoogleCodeExporter opened 8 years ago
0
type functions cannot return (* ~> *)

#87 GoogleCodeExporter opened 8 years ago
0
remove the 1n syntax extension

#86 GoogleCodeExporter opened 8 years ago
1
Patch for /trunk/LICENSE.txt

#85 GoogleCodeExporter closed 8 years ago
1
Sub-Equal facts not added when normalizing

#84 GoogleCodeExporter opened 8 years ago
1
Arrow types displayed wrongly

#83 GoogleCodeExporter closed 8 years ago
2
annotated binding occurrences parsed but not enforced

#82 GoogleCodeExporter opened 8 years ago
0
showing of objects lumps together different syntax extensions (of the same kind)

#81 GoogleCodeExporter closed 8 years ago
3
kill off remains of 'ex'

#80 GoogleCodeExporter opened 8 years ago
1
'omega -tests' always returns success

#79 GoogleCodeExporter opened 8 years ago
2
fresh, freshen break referential transparency

#78 GoogleCodeExporter opened 8 years ago
1
feasibility of syntax extension constructors not validated

#77 GoogleCodeExporter closed 8 years ago
2
unsaturated constructors not rejected in data definition

#76 GoogleCodeExporter opened 8 years ago
1
Displaying higher-rank types

#75 GoogleCodeExporter closed 8 years ago
1
restricted license is not OSI

#74 GoogleCodeExporter closed 8 years ago
9
unification via Eq does not work for Label/Tag

#73 GoogleCodeExporter opened 8 years ago
1
Incorrect literature reference

#72 GoogleCodeExporter closed 8 years ago
3
type functions' names are also added into value namespace

#71 GoogleCodeExporter closed 8 years ago
6
multi-level singleton kinds fail to typecheck

#70 GoogleCodeExporter opened 8 years ago
11
LabelNotEq should hold ordering information

#69 GoogleCodeExporter closed 8 years ago
1
pattern match failure: Non-exhaustive patterns in function "exhibit"

#68 GoogleCodeExporter closed 8 years ago
2
(DiffLabel m n) is not usable as a proposition

#67 GoogleCodeExporter opened 8 years ago
3
Document sameLabel and friends in the manual

#66 GoogleCodeExporter closed 8 years ago
3
L and R are not in scope

#65 GoogleCodeExporter closed 8 years ago
11
Relax requirements for "deriving Nat(s)"

#64 GoogleCodeExporter opened 8 years ago
6
character 'o' not available as data suffix

#63 GoogleCodeExporter closed 8 years ago
3
Implement type classes

#62 GoogleCodeExporter opened 8 years ago
2