Add literal string constants #19

Merged
glen merged 6 commits from string_literal into main 2021-02-18 04:17:05 +00:00
Owner

In addition, for the sake of Haskell code generation, this PR adds static typing
with Statix.

In addition, for the sake of Haskell code generation, this PR adds static typing with Statix.
glen added 6 commits 2021-02-18 04:03:36 +00:00
continuous-integration/drone/push Build is passing Details
904f651897
feat: Add syntax for string literals
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.
continuous-integration/drone/push Build is passing Details
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.
continuous-integration/drone/push Build is failing Details
5cd75b8177
feat: Initial statix assignment of types to expressions
continuous-integration/drone/push Build is failing Details
804a00902a
feat: Type-dependent Haskell code generation
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).
continuous-integration/drone/push Build is failing Details
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.
continuous-integration/drone/push Build is passing Details
continuous-integration/drone/pr Build is passing Details
2514f0df98
fix: handle the TermEx->OptTermEx injection in Statix
glen merged commit 2772fd0c5c into main 2021-02-18 04:17:05 +00:00
Sign in to join this conversation.
No reviewers
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: glen/fostr#19
No description provided.