Add more tests and support for TypeAbstractions
Showing
- typechecker/src/Parser.hs 2 additions, 2 deletionstypechecker/src/Parser.hs
- typechecker/test/cases/parser/tyAbsConst-parser.hs 1 addition, 0 deletionstypechecker/test/cases/parser/tyAbsConst-parser.hs
- typechecker/test/cases/parser/tyAbsConst-parser.output 1 addition, 0 deletionstypechecker/test/cases/parser/tyAbsConst-parser.output
- typechecker/test/cases/parser/tyAbsId-parser.hs 1 addition, 0 deletionstypechecker/test/cases/parser/tyAbsId-parser.hs
- typechecker/test/cases/parser/tyAbsId-parser.output 1 addition, 0 deletionstypechecker/test/cases/parser/tyAbsId-parser.output
- typechecker/test/cases/parser/tyAbsMaybeInteger-parser.hs 1 addition, 0 deletionstypechecker/test/cases/parser/tyAbsMaybeInteger-parser.hs
- typechecker/test/cases/parser/tyAbsMaybeInteger-parser.output 1 addition, 0 deletions...checker/test/cases/parser/tyAbsMaybeInteger-parser.output
- typechecker/test/cases/parser/tyAbsOne-parser.hs 1 addition, 0 deletionstypechecker/test/cases/parser/tyAbsOne-parser.hs
- typechecker/test/cases/parser/tyAbsOne-parser.output 1 addition, 0 deletionstypechecker/test/cases/parser/tyAbsOne-parser.output
- typechecker/test/cases/should-typecheck/extraQuantifiee-check.hs 2 additions, 0 deletions...cker/test/cases/should-typecheck/extraQuantifiee-check.hs
- typechecker/test/cases/should-typecheck/extraQuantifiee-check.output 1 addition, 0 deletions.../test/cases/should-typecheck/extraQuantifiee-check.output
- typechecker/test/cases/should-typecheck/tyAbsConstEta-check.hs 2 additions, 0 deletions...hecker/test/cases/should-typecheck/tyAbsConstEta-check.hs
- typechecker/test/cases/should-typecheck/tyAbsConstEta-check.output 1 addition, 0 deletions...er/test/cases/should-typecheck/tyAbsConstEta-check.output
- typechecker/test/cases/should-typecheck/tyAbsLocalConst-check.hs 4 additions, 0 deletions...cker/test/cases/should-typecheck/tyAbsLocalConst-check.hs
- typechecker/test/cases/should-typecheck/tyAbsLocalConst-check.output 1 addition, 0 deletions.../test/cases/should-typecheck/tyAbsLocalConst-check.output
- typechecker/test/looping/repeatInvisTyAbs.hs 0 additions, 0 deletionstypechecker/test/looping/repeatInvisTyAbs.hs
- typechecker/test/looping/repeatInvisTyAbs.output 1 addition, 0 deletionstypechecker/test/looping/repeatInvisTyAbs.output
- typechecker/test/looping/reqConst-check.hs 2 additions, 0 deletionstypechecker/test/looping/reqConst-check.hs
- typechecker/test/looping/reqConst-check.output 1 addition, 0 deletionstypechecker/test/looping/reqConst-check.output
- typechecker/test/looping/reqConstInteger-check.hs 2 additions, 0 deletionstypechecker/test/looping/reqConstInteger-check.hs
Loading
Please register or sign in to comment