UlfNorell agda-test issues

UlfNorell / agda-test

Agda test

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Added support for text library version 1.0.*

#996 UlfNorell closed 10 years ago
1
Termination of uncurried functions

#995 UlfNorell opened 10 years ago
1
giving changes shadowed names

#994 UlfNorell opened 10 years ago
0
Ship Primitive.agdai; hashes instead of time stamps for checking recompilation

#993 UlfNorell opened 10 years ago
1
Size constraint solver too eager in the presence of meta variables

#992 UlfNorell opened 10 years ago
0
heterogeneous equality doesn't have inspect on steroids

#991 UlfNorell opened 10 years ago
2
Refactor alignment code in the LaTeX-backend

#990 UlfNorell opened 10 years ago
1
Make the LaTeX-backend support pattern synonyms.

#989 UlfNorell opened 10 years ago
0
Local definitions scoping over datatype constructors

#988 UlfNorell opened 10 years ago
5
--html anchors could be more informative

#987 UlfNorell opened 10 years ago
0
allow hyperlinks in "agda --html" generated files

#986 UlfNorell opened 10 years ago
5
Unbound de Bruijn indices show up in error message of unifier

#985 UlfNorell closed 10 years ago
1
Positivity checking rejects otherwise accepted expression if they are encapsulated in a datatype or a record

#984 UlfNorell closed 10 years ago
2
Internal error in Agda.Interaction.InteractionTop

#983 UlfNorell closed 10 years ago
2
Change \AgdaIndent from \;\; to $\;\;$

#982 UlfNorell opened 10 years ago
1
Confusion between constructor and variable name

#981 UlfNorell closed 10 years ago
2
bus error running agda on OS X Mavericks

#980 UlfNorell closed 10 years ago
2
darcs: Failed to find Foreign.Haskel

#979 UlfNorell closed 10 years ago
2
Wrong fixity applied for overloaded constructor

#978 UlfNorell opened 10 years ago
1
Allow postulates in mutual blocks

#977 UlfNorell closed 10 years ago
1
Generated HTML doesn't mark some dotted patterns as "DottedPattern"

#976 UlfNorell closed 10 years ago
2
"binding for LEVEL"

#975 UlfNorell closed 10 years ago
4
darcs failed

#974 UlfNorell closed 10 years ago
3
std-lib: add indexed containers

#973 UlfNorell opened 10 years ago
1
std-lib: add lemma to data.vec.properties

#972 UlfNorell opened 10 years ago
1
An internal error

#971 UlfNorell closed 10 years ago
1
Impossible when inlining with call during termination checking

#970 UlfNorell closed 10 years ago
3
Patch: builtin SIZELT for std-lib

#969 UlfNorell opened 10 years ago
0
std-lib should have cong-app

#968 UlfNorell opened 10 years ago
0
Record constructor not in scope

#967 UlfNorell opened 10 years ago
0
Alias in record definition creates unsolved meta (and it appears in wrong position)

#966 UlfNorell opened 10 years ago
0
std-lib: Universe polymorphic Data.Colist.finite-or-infinite

#965 UlfNorell opened 10 years ago
0
Allow unsolved metas in imported files

#964 UlfNorell opened 10 years ago
3
Perhaps Agda.Prim should be called Agda.Primitives

#963 UlfNorell closed 10 years ago
3
Compilation error "Pattern match(es) are non-exhaustive"

#962 UlfNorell closed 10 years ago
4
Compilation error "Illegal instance declaration for `PrimTerm Type'"

#961 UlfNorell closed 10 years ago
4
Compilation error "Not in scope: `<>'"

#960 UlfNorell closed 10 years ago
5
Need matching against record patterns for type-checking copatterns

#959 UlfNorell closed 10 years ago
1
Well, yes, printing does not REALLY work in goals...

#958 UlfNorell opened 10 years ago
8
Auto missing support for Copatterns

#957 UlfNorell opened 10 years ago
3
Instance search loops

#956 UlfNorell closed 10 years ago
1
Remove excessive spacing after aligned stuff in the LaTeX-backend

#955 UlfNorell closed 10 years ago
3
Latex backend should not produce newlines at beginning and end of code block

#954 UlfNorell closed 10 years ago
12
Allow files without top module

#953 UlfNorell closed 10 years ago
4
Names of hidden arguments may not be alpha-converted!

#952 UlfNorell opened 10 years ago
4
Wrong printing of hidden function types

#951 UlfNorell closed 10 years ago
1
bad error message with copatterns

#950 UlfNorell closed 10 years ago
2
Better error message for misspelled name in hidden argument application

#949 UlfNorell closed 10 years ago
1
Enable -fwarn-pointless-pragmas for GHC >= 7.6.3...

#948 UlfNorell closed 10 years ago
4
Term with nothing after "where"

#947 UlfNorell closed 10 years ago
4