Add support for parsing type signatures
Showing
- typechecker/src/Initial.hs 11 additions, 13 deletionstypechecker/src/Initial.hs
- typechecker/src/Parser.hs 21 additions, 3 deletionstypechecker/src/Parser.hs
- typechecker/test/cases/parser/myId-check-parser.output 1 addition, 1 deletiontypechecker/test/cases/parser/myId-check-parser.output
- typechecker/test/cases/parser/select-check-parser.hs 2 additions, 0 deletionstypechecker/test/cases/parser/select-check-parser.hs
- typechecker/test/cases/parser/select-check-parser.output 1 addition, 0 deletionstypechecker/test/cases/parser/select-check-parser.output
- typechecker/test/cases/parser/until-check-parser.hs 2 additions, 0 deletionstypechecker/test/cases/parser/until-check-parser.hs
- typechecker/test/cases/parser/until-check-parser.output 1 addition, 0 deletionstypechecker/test/cases/parser/until-check-parser.output
- typechecker/test/cases/should-typecheck/break-infer.hs 7 additions, 3 deletionstypechecker/test/cases/should-typecheck/break-infer.hs
Loading
Please register or sign in to comment