ayazhafiz / hgb

96%

master: 95%

LAST BUILD ON BRANCH i/69-ts

branch: i/69-ts

CHANGE BRANCH

x

Reset

• i/69-ts
• 15
• 15-ah-patch
• RemoveChar
• TestAdd
• codegen.c
• e/floating-point
• e/github
• e/pedantic
• e/scripts
• eval
• extend-parer
• final_expr
• i/32
• i/38-char-type
• i/38-lex-char
• i/38-parse-char
• i/38-string-type
• i/40
• i/43
• i/47
• i/51-for
• i/51-while
• i/52
• i/52-bool
• i/71
• i/87
• i/fixup
• i/grammar-types
• i/hindent-incr
• i/lex-symbol
• i/scripts
• i/test-dsl
• i/ts-codegen-validate
• i/ts-string-char-ref-asgn
• lexer_change
• lukas
• master
• nomorebits
• numbertype
• parse-arrays
• patch-extend-parser
• r/return
• refactor-expectation
• refactor/lexer
• reorder
• scripts
• simplify_cond
• static-typing
• stopwastingtime
• style
• test/lexer
• ts-more
• ts/calls
• ts/fn-decl
• ts/types
• typecheck
• underscore

Build # 497

Build Type

push

travis-ci-com

Committed by ayazhafiz

Commit Message

Add TypeScript codegen for variable declarations

This commit lays the groundwork for TypeScript code generation by adding
support for mapping a Gingerbread grammar to a TypeScript grammar for
variable declarations, and writing the TypeScript grammar out into a
string.

As described above, there are two steps for the current codegen process:

1. Map the Gingerbread grammar into another language grammar
  - this commit introduces a `MapGrammar a b` typeclass with a method
    `\> :: a -> b` that maps a `Grammar a` to a `Grammar b`
2. Write the mapped grammar out in the target language's syntax
  - this commit introduces a `Write a` typeclass with a method
    `write :: a -> String` that writes a `Grammar a` out as string.

To validate that the generated TypeScript program is syntatically
correct, we ask the TypeScript language service to parse the generated
code and report any syntatic errors. In the future (once
binding/typechecking is in place), we could verify that the generated
code has no semantic errors as well.

Part of #69

Run Details

461 of 478 relevant lines covered (96.44%)

0.96 hits per line