Add literal string constants #19

Merged

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

Conversation 0 Commits 6 Files Changed 16 +386 -34

glen commented 2021-02-18 04:03:36 +00:00

Owner

Copy Link

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

feat: Add syntax for string literals ... 904f651897

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.

docs: Add statics development documentation ... b3f9cdf372

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.

feat: Initial statix assignment of types to expressions 5cd75b8177

feat: Type-dependent Haskell code generation ... 804a00902a

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).

feat: Add typing for Sequence() operation ... f93499acfd

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.

fix: handle the TermEx->OptTermEx injection in Statix 2514f0df98

glen merged commit 2772fd0c5c into main 2021-02-18 04:17:05 +00:00

glen referenced this issue from a commit 2021-02-18 04:17:05 +00:00

Add literal string constants (#19)

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels   

enhancement

  

in progress

  

on deck

Change planned soon

  

uncertain

Items that may be non-issues or not worth doing

No Label

enhancement

in progress

on deck

uncertain

Milestone

Clear milestone

No items

No Milestone

Projects

Clear projects

No project

Assignees

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

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.