Commit Graph

8 Commits

Author SHA1 Message Date
Glen Whitney 804a00902a feat: Type-dependent Haskell code generation
continuous-integration/drone/push Build is failing Details
Caveat: type is still not being assigned for the Sequence()
  constructor.

  Also fixes the parsing of literal strings (whitespace just after
  the opening quote was being ignored, and was ambiguous just
  before the opening quote).
2021-02-16 09:46:12 -08:00
Glen Whitney 904f651897 feat: Add syntax for string literals
continuous-integration/drone/push Build is passing Details
Also rudimentary code generation. The difficulty
  is that for Haskell generation, we need to know
  whether an expression is a string or in to send it
  to standard output. So we will need to begin
  implementation of a type system for fostr.
2021-02-11 10:02:43 -08:00
Glen Whitney b9c8532899 feat: Allow expressions to be terminated/sequenced by ;
continuous-integration/drone/push Build is passing Details
continuous-integration/drone/pr Build is failing Details
Note that ultimately a terminated sequence may have
   a slightly different semantics (applying streams
   to `_|_`, most likely) but for now they don't.
2021-02-10 12:47:34 -08:00
Glen Whitney 991976d3a8 feat: sequencing of expressions with newline to same indent (#11)
continuous-integration/drone/push Build is passing Details
feat: sequencing of expressions with newline to same indent

  Also revised README to reflect greater emphasis on streams.
  Haskell code generation unsurprisingly required a fairly significant
  rework.

  Resolves #3.

Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Reviewed-on: #11
Co-Authored-By: Glen Whitney <glen@nobody@nowhere.net>
Co-Committed-By: Glen Whitney <glen@nobody@nowhere.net>
2021-02-06 05:11:41 +00:00
Glen Whitney eaa06e62eb feat: Allow indented continuation lines
continuous-integration/drone/push Build is passing Details
continuous-integration/drone/pr Build was killed Details
Resolves #2.
2021-02-01 00:29:00 -08:00
Glen Whitney 2e49065031 feat: Implement enters operator >> (#8)
continuous-integration/drone/push Build is passing Details
Also adds parenthesization of fostr expressions.
  Recasts code generation in terms of bottomup processing
  of a local strategy.

  Resolves #1.

Co-authored-by: Glen Whitney <glen@studioinfinity.org>
Reviewed-on: #8
Co-Authored-By: Glen Whitney <glen@nobody@nowhere.net>
Co-Committed-By: Glen Whitney <glen@nobody@nowhere.net>
2021-02-01 01:46:31 +00:00
Glen Whitney 7b00b01856 chore: Switch to this repository from predecessor
continuous-integration/drone/push Build is passing Details
2021-01-30 15:37:53 -08:00
Glen Whitney 9ecfa63f58 init: SDF3/Statix project as initialized by Spoofax 2021-01-30 12:27:10 -08:00