Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support Sesterl #1

Merged
merged 14 commits into from
Jul 10, 2021
Merged

Support Sesterl #1

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
8fd93cf
begin to separate 'GenMlScheme' from 'GenElm'
gfngfn Jul 9, 2021
5dfde50
generalize function names in 'GenMlScheme'
gfngfn Jul 10, 2021
e2579b5
add comments to 'GenMlScheme'
gfngfn Jul 10, 2021
4ae5e42
fix tests
gfngfn Jul 10, 2021
7b8ff0b
change the definition of 'FuncType'
gfngfn Jul 10, 2021
2d63750
refactor 'DefVal'
gfngfn Jul 10, 2021
b98da22
begin to add Sesterl to targets
gfngfn Jul 10, 2021
d307e51
fix '.gitignore'
gfngfn Jul 10, 2021
9408456
fix '.gitignore' (2)
gfngfn Jul 10, 2021
ba1163f
fixing towards generating Sesterl programs
gfngfn Jul 10, 2021
a53c881
fix 'GenSesterl' about 'encode_list'
gfngfn Jul 10, 2021
89b78d9
fix 'GenSesterl' about 'encode_list' (2)
gfngfn Jul 10, 2021
78bdd5e
fix 'GenSesterl' about 'encode_option'
gfngfn Jul 10, 2021
8f0a35a
FIRST SUCCESS in passing the type check of Sesterl
gfngfn Jul 10, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
FIRST SUCCESS in passing the type check of Sesterl
  • Loading branch information
@gfngfn
gfngfn committed Jul 10, 2021
commit 8f0a35ad387f2e391ff869c932f94bfe54dead82
19 changes: 13 additions & 6 deletions src/genSesterl.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -227,12 +227,19 @@ end = struct
(stringify_type ty2)

| RecordType(tyrcd) ->
let sr =
tyrcd |> List.map (fun (key, ty) ->
Format.sprintf "%s : %s" (Constant.key key) (stringify_type ty)
) |> String.concat ", "
in
Format.sprintf "{ %s }" sr
begin
match tyrcd with
| [] ->
"unit"

| _ :: _ ->
let sr =
tyrcd |> List.map (fun (key, ty) ->
Format.sprintf "%s : %s" (Constant.key key) (stringify_type ty)
) |> String.concat ", "
in
Format.sprintf "{ %s }" sr
end


let stringify_declaration (odecl : declaration) : string =
Expand Down