issues
search
rupesh4514
/
grammatical-framework
Automatically exported from code.google.com/p/grammatical-framework
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Backspace in the GF Editor
#35
GoogleCodeExporter
closed
9 years ago
2
problem when using Formal.infixl
#34
GoogleCodeExporter
closed
9 years ago
3
alpha conversion during the computation
#33
GoogleCodeExporter
closed
9 years ago
4
Instantiation of meta variables in the type checker
#32
GoogleCodeExporter
opened
9 years ago
1
Installing GF with cabal-install fails due to stack overflow
#31
GoogleCodeExporter
closed
9 years ago
3
Missing file name in error message
#30
GoogleCodeExporter
closed
9 years ago
1
Extending identifier syntax with slashes "/"
#29
GoogleCodeExporter
opened
9 years ago
0
Bug in Swedish determiners
#28
GoogleCodeExporter
opened
9 years ago
1
Allow Unicode characters in identifiers
#27
GoogleCodeExporter
opened
9 years ago
4
Non-ascii characters in the interactive interpreter
#26
GoogleCodeExporter
closed
9 years ago
1
Enhancement request: N-best list of parse trees
#25
GoogleCodeExporter
closed
9 years ago
3
Enhancement request: Timeout parameter when parsing
#24
GoogleCodeExporter
opened
9 years ago
2
Enhancement request: Use stderr in batch mode
#23
GoogleCodeExporter
closed
9 years ago
4
Add "Enhancement" as an Issue Template
#22
GoogleCodeExporter
closed
9 years ago
1
x@_ patterns in def rules
#21
GoogleCodeExporter
closed
9 years ago
1
Type error in generated Haskell output
#20
GoogleCodeExporter
closed
9 years ago
1
Something suspicious with module dependencies
#19
GoogleCodeExporter
opened
9 years ago
0
Missing module in GF.cabal
#18
GoogleCodeExporter
closed
9 years ago
1
The variant are not expanded in the right time
#17
GoogleCodeExporter
opened
9 years ago
0
The parser in the JavaScript interpreter doesn't check for loops in the parse chart
#16
GoogleCodeExporter
opened
9 years ago
0
The compilation to PGF from multiple languages fails depending on the order of grammars
#15
GoogleCodeExporter
opened
9 years ago
0
The FridgeApp depends on GWT 1.5.3
#14
GoogleCodeExporter
closed
9 years ago
1
the lindef judgement seems to be ignored
#13
GoogleCodeExporter
closed
9 years ago
1
Command read_file silently ignores invalid GF trees
#12
GoogleCodeExporter
closed
9 years ago
1
There are some fake words in DictEng.gf
#11
GoogleCodeExporter
closed
9 years ago
1
lindef is ignored either in the compilation or in the interpreter
#10
GoogleCodeExporter
closed
9 years ago
4
Record and report the exact location of an error instead of just the function name.
#9
GoogleCodeExporter
closed
9 years ago
1
Implement syntactic sugar for lists
#8
GoogleCodeExporter
opened
9 years ago
0
Double computation in the partial evaluation
#7
GoogleCodeExporter
opened
9 years ago
0
Pattern matching on runtime variables is not detected by the compiler
#6
GoogleCodeExporter
opened
9 years ago
0
Computation with bound variables might fail
#5
GoogleCodeExporter
closed
9 years ago
1
Both random and exhaustive generation hang if the abstract syntax uses dependent types
#4
GoogleCodeExporter
closed
9 years ago
1
In the abstract syntax only first-order types should be allowed but this is not checked
#3
GoogleCodeExporter
opened
9 years ago
0
The visualization of abstract syntax trees crashes if the tree has high-order functions or literals
#2
GoogleCodeExporter
closed
9 years ago
2
The exaustive generation of syntax trees generates each tree twice
#1
GoogleCodeExporter
closed
9 years ago
1
Previous