tcr/corollary issues and pull requests

#71 - Layout to brace expansion broken?

Issue - State: open - Opened by birkenfeld about 7 years ago

#70 - Looking for maintainers for Corollary

Issue - State: open - Opened by tcr about 7 years ago
Labels: help wanted

#70 - Looking for maintainers for Corollary

Issue - State: open - Opened by tcr about 7 years ago
Labels: help wanted

#69 - Rename to Corollary.

Pull Request - State: closed - Opened by tcr about 7 years ago

#68 - Small typo fix

Pull Request - State: closed - Opened by skade about 7 years ago - 1 comment

#68 - Small typo fix

Pull Request - State: closed - Opened by skade about 7 years ago - 1 comment

#67 - Remove parser expression errors

Issue - State: open - Opened by tcr over 7 years ago
Labels: translation-error

#66 - Support generators

Issue - State: open - Opened by tcr over 7 years ago
Labels: translation-error

#66 - Support generators

Issue - State: open - Opened by tcr over 7 years ago
Labels: translation-error

#65 - let-defined lambdas aren't combined.

Issue - State: open - Opened by tcr over 7 years ago
Labels: translation-error

#65 - let-defined lambdas aren't combined.

Issue - State: open - Opened by tcr over 7 years ago
Labels: translation-error

#64 - Translate into pointful function

Issue - State: open - Opened by tcr over 7 years ago
Labels: translation-error

#64 - Translate into pointful function

Issue - State: open - Opened by tcr over 7 years ago
Labels: translation-error

#63 - Should rewrite Language/C/Parser.hs to Language/C/Parser/mod.rs

Issue - State: closed - Opened by tcr over 7 years ago
Labels: help wanted, translation-error

#63 - Should rewrite Language/C/Parser.hs to Language/C/Parser/mod.rs

Issue - State: closed - Opened by tcr over 7 years ago
Labels: help wanted, translation-error

#62 - Moves output crates into a more prominent location.

Pull Request - State: closed - Opened by tcr over 7 years ago

#62 - Moves output crates into a more prominent location.

Pull Request - State: closed - Opened by tcr over 7 years ago

#61 - Lambda should parse ExprSpan as a body

Issue - State: open - Opened by tcr over 7 years ago - 1 comment

#61 - Lambda should parse ExprSpan as a body

Issue - State: open - Opened by tcr over 7 years ago - 1 comment

#60 - Add the ability to export a module wholesale.

Pull Request - State: closed - Opened by tcr over 7 years ago - 2 comments

#60 - Add the ability to export a module wholesale.

Pull Request - State: closed - Opened by tcr over 7 years ago - 2 comments

#59 - Rework AST

Pull Request - State: closed - Opened by pshc over 7 years ago - 9 comments

#59 - Rework AST

Pull Request - State: closed - Opened by pshc over 7 years ago - 9 comments

#58 - Close some open issues

Pull Request - State: closed - Opened by tcr over 7 years ago - 3 comments

#58 - Close some open issues

Pull Request - State: closed - Opened by tcr over 7 years ago - 3 comments

#57 - Preliminary std::fmt-based output

Pull Request - State: closed - Opened by pshc over 7 years ago - 4 comments

#57 - Preliminary std::fmt-based output

Pull Request - State: closed - Opened by pshc over 7 years ago - 4 comments

#56 - Type signature wrong

Issue - State: closed - Opened by tcr over 7 years ago
Labels: translation-error

#56 - Type signature wrong

Issue - State: closed - Opened by tcr over 7 years ago
Labels: translation-error

#55 - : interpreted as part of name

Issue - State: closed - Opened by tcr over 7 years ago

#55 - : interpreted as part of name

Issue - State: closed - Opened by tcr over 7 years ago

#54 - Not all `Just` `Nothing` translated properly.

Issue - State: closed - Opened by tcr over 7 years ago

#54 - Not all `Just` `Nothing` translated properly.

Issue - State: closed - Opened by tcr over 7 years ago

#53 - . operator improperly translated

Issue - State: closed - Opened by tcr over 7 years ago

#53 - . operator improperly translated

Issue - State: closed - Opened by tcr over 7 years ago

#52 - Parenthetical operators translated improperly

Issue - State: closed - Opened by tcr over 7 years ago

#52 - Parenthetical operators translated improperly

Issue - State: closed - Opened by tcr over 7 years ago

#51 - `const ()`

Issue - State: open - Opened by tcr over 7 years ago - 2 comments

#51 - `const ()`

Issue - State: open - Opened by tcr over 7 years ago - 2 comments

#50 - Translate fat arrow defns into "where" clauses.

Issue - State: open - Opened by tcr over 7 years ago - 1 comment
Labels: translation-error

#50 - Translate fat arrow defns into "where" clauses.

Issue - State: open - Opened by tcr over 7 years ago - 1 comment
Labels: translation-error

#49 - let-defined lambas are generated wrong.

Issue - State: closed - Opened by tcr over 7 years ago - 1 comment
Labels: translation-error

#49 - let-defined lambas are generated wrong.

Issue - State: closed - Opened by tcr over 7 years ago - 1 comment
Labels: translation-error

#48 - Handle infix operators correctly.

Issue - State: open - Opened by tcr over 7 years ago
Labels: translation-error

#48 - Handle infix operators correctly.

Issue - State: open - Opened by tcr over 7 years ago
Labels: translation-error

#47 - True should become `true`

Issue - State: closed - Opened by tcr over 7 years ago

#47 - True should become `true`

Issue - State: closed - Opened by tcr over 7 years ago

#46 - Handle `return` intelligently

Issue - State: open - Opened by tcr over 7 years ago
Labels: translation-error

#45 - let... in struct is not translated right

Issue - State: open - Opened by tcr over 7 years ago
Labels: translation-error

#44 - Fill out all symbolic ops:

Issue - State: closed - Opened by tcr over 7 years ago

#44 - Fill out all symbolic ops:

Issue - State: closed - Opened by tcr over 7 years ago

#43 - Print out the <todo> in these fn defs

Issue - State: closed - Opened by tcr over 7 years ago
Labels: translation-error

#43 - Print out the <todo> in these fn defs

Issue - State: closed - Opened by tcr over 7 years ago
Labels: translation-error

#42 - Print type structs as well

Issue - State: closed - Opened by tcr over 7 years ago
Labels: help wanted, translation-error

#41 - Truncate match arm

Issue - State: closed - Opened by tcr over 7 years ago

#41 - Truncate match arm

Issue - State: closed - Opened by tcr over 7 years ago

#40 - Handle @ signs in the middle of code

Issue - State: open - Opened by tcr over 7 years ago - 2 comments
Labels: translation-error

#40 - Handle @ signs in the middle of code

Issue - State: open - Opened by tcr over 7 years ago - 2 comments
Labels: translation-error

#39 - Print all `where` statements

Issue - State: open - Opened by tcr over 7 years ago - 1 comment
Labels: translation-error

#39 - Print all `where` statements

Issue - State: open - Opened by tcr over 7 years ago - 1 comment
Labels: translation-error

#38 - Translate colons in `case` arms properly

Issue - State: open - Opened by tcr over 7 years ago - 1 comment
Labels: translation-error

#38 - Translate colons in `case` arms properly

Issue - State: open - Opened by tcr over 7 years ago - 1 comment
Labels: translation-error

#37 - Document strategy for Lexer.hs and Parser.hs

Issue - State: open - Opened by tcr over 7 years ago

#36 - Actually print out lambdas

Issue - State: closed - Opened by tcr over 7 years ago

#36 - Actually print out lambdas

Issue - State: closed - Opened by tcr over 7 years ago

#35 - CLI

Issue - State: closed - Opened by tcr over 7 years ago - 1 comment
Labels: translation-error

#35 - CLI

Issue - State: closed - Opened by tcr over 7 years ago - 1 comment
Labels: translation-error

#34 - Successive let statements don't work

Issue - State: closed - Opened by tcr over 7 years ago
Labels: translation-error

#34 - Successive let statements don't work

Issue - State: closed - Opened by tcr over 7 years ago
Labels: translation-error

#33 - How can you match on an empty array?

Issue - State: open - Opened by tcr over 7 years ago - 3 comments
Labels: translation-error

#33 - How can you match on an empty array?

Issue - State: open - Opened by tcr over 7 years ago - 3 comments
Labels: translation-error

#32 - Whitelist `$+$` operator (op??)

Issue - State: closed - Opened by tcr over 7 years ago - 3 comments
Labels: translation-error

#32 - Whitelist `$+$` operator (op??)

Issue - State: closed - Opened by tcr over 7 years ago - 3 comments
Labels: translation-error

#31 - Implement structs

Issue - State: closed - Opened by tcr over 7 years ago
Labels: help wanted, translation-error

#31 - Implement structs

Issue - State: closed - Opened by tcr over 7 years ago
Labels: help wanted, translation-error

#30 - Experiment with runnable tests.

Pull Request - State: closed - Opened by tcr over 7 years ago - 2 comments

#29 - Convert if ... else ... expressions to Rust equivalent

Issue - State: open - Opened by tcr over 7 years ago - 1 comment
Labels: translation-error

#28 - Use ghc-mod for inferring function types

Issue - State: open - Opened by tcr over 7 years ago - 1 comment
Labels: question

#28 - Use ghc-mod for inferring function types

Issue - State: open - Opened by tcr over 7 years ago - 1 comment
Labels: question

#27 - Large correction to whitespace, expression and pattern printing.

Pull Request - State: closed - Opened by tcr over 7 years ago - 1 comment

#27 - Large correction to whitespace, expression and pattern printing.

Pull Request - State: closed - Opened by tcr over 7 years ago - 1 comment

#26 - Adds Travis testing.

Pull Request - State: closed - Opened by tcr over 7 years ago

#26 - Adds Travis testing.

Pull Request - State: closed - Opened by tcr over 7 years ago

#25 - Corrects :: PatSpan to :: TypeGroup.

Pull Request - State: closed - Opened by tcr over 7 years ago - 1 comment

#25 - Corrects :: PatSpan to :: TypeGroup.

Pull Request - State: closed - Opened by tcr over 7 years ago - 1 comment

#24 - Clean up haskell.lalrpop, normalize statements

Pull Request - State: closed - Opened by tcr over 7 years ago

#24 - Clean up haskell.lalrpop, normalize statements

Pull Request - State: closed - Opened by tcr over 7 years ago

#23 - Parses 100% of files

Pull Request - State: closed - Opened by tcr over 7 years ago

#23 - Parses 100% of files

Pull Request - State: closed - Opened by tcr over 7 years ago

#22 - Removes whitespace keyword hack.

Pull Request - State: closed - Opened by tcr over 7 years ago

#22 - Removes whitespace keyword hack.

Pull Request - State: closed - Opened by tcr over 7 years ago

#21 - Move Haskell-parser related code to the parser.

Pull Request - State: closed - Opened by tcr over 7 years ago

#21 - Move Haskell-parser related code to the parser.

Pull Request - State: closed - Opened by tcr over 7 years ago

#20 - Enable Travis testing on PRs?

Issue - State: closed - Opened by tcr over 7 years ago - 2 comments

#20 - Enable Travis testing on PRs?

Issue - State: closed - Opened by tcr over 7 years ago - 2 comments

#19 - Char literals

Pull Request - State: closed - Opened by pshc over 7 years ago - 1 comment

#19 - Char literals

Pull Request - State: closed - Opened by pshc over 7 years ago - 1 comment

#18 - Record syntax

Pull Request - State: closed - Opened by pshc over 7 years ago - 1 comment

#18 - Record syntax

Pull Request - State: closed - Opened by pshc over 7 years ago - 1 comment

#17 - Is laziness needed?

Issue - State: open - Opened by pshc over 7 years ago
Labels: question

GitHub / tcr/corollary issues and pull requests