agussusahnti
/
fostr
forked from glen/fostr
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
16 Commits 11 Branches 0 Tags 1,018 KiB
Commit Graph

8 Commits

Author SHA1 Message Date
Glen Whitney 2514f0df98 fix: handle the TermEx->OptTermEx injection in Statix 2021-02-17 19:47:29 -08:00
Glen Whitney f93499acfd feat: Add typing for Sequence() operation 
Also move the signature of the semantic sort TYPE into its own
  file to facilitate sharing between Statix and Stratego.
  (Currently it is shared via symbolic link, but that may cause
  problems down the line; if/when it does, will have to look at
  physically copying the file into src-gen via an "Additional
  build step" using either Stratego or Ant.

  Also documents using Statix types from Stratego.
 2021-02-17 11:20:26 -08:00
Glen Whitney 5cd75b8177 feat: Initial statix assignment of types to expressions 2021-02-14 10:25:23 -08:00
Glen Whitney b3f9cdf372 docs: Add statics development documentation 
Hopefully the new section will be helpful, given that it can be
  a bit confusing to get started with Statix. With this commit,
  the background is established and the stage is set to
  dive into type checking.
 2021-02-12 17:08:55 -08:00
Glen Whitney eaa06e62eb feat: Allow indented continuation lines 
Resolves #2.
 2021-02-01 00:29:00 -08:00
Glen Whitney 2e49065031 feat: Implement enters operator >> (#8) 
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: glen/fostr#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 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