Commits

Breadcrumbs

History for

onb4a5867

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 24, 2021

• made C_gen_code.fx compile

  vpisarev

  committed
  b4a5867

Commits on Mar 23, 2021

• converted to Ficus 3 more modules from the backend: C_gen_types, C_gen_fdecls and C_pp; not tested yet

  vpisarev

  committed
  15abc1d

Commits on Mar 22, 2021

• * renamed modules to follow ficus style (with underscores to separate words instead of "Camel case")

  Show description for a9b7ae1
  vpisarev

  committed
  a9b7ae1

Commits on Mar 21, 2021

• * lambda lifting now works well

  Show description for cdb9483
  vpisarev

  committed
  cdb9483

Commits on Mar 20, 2021

• converted to Ficus full-scale lambda lifting, but it does not work well yet

  vpisarev

  committed
  3319f00

• converted several K-form transformations to Ficus

  vpisarev

  committed
  a85d638

Commits on Mar 19, 2021

• * added dead code elimination module, which also report warnings about unused values/functions.

  Show description for 0c16ba7
  vpisarev

  committed
  0c16ba7

Commits on Mar 18, 2021

• * added K-form pretty printing module; works reasonably good

  Show description for dfc26d0
  vpisarev

  committed
  dfc26d0

Commits on Mar 17, 2021

• a little but massive change; similar to F#, array literals and array comprehensions are now enclosed into [| ... |] instead of [ ... ]. [ ... ] is now reserved for immutable vectors (to be added a …

  Show description for 65ec25a
  vpisarev

  committed
  65ec25a

• * added filter(for ...) construction (in addition to 'all', 'exists', 'find' and 'find_opt').

  Show description for c33b813
  vpisarev

  committed
  c33b813

Commits on Mar 16, 2021

• * several improvements in type checker

  Show description for c662380
  vpisarev

  committed
  c662380

Commits on Mar 15, 2021

• * another big milestone. the emerging version of self-hosted compiler is now able to type-check all the samples, tests and itself!

  Show description for 6014e71
  vpisarev

  committed
  6014e71

Commits on Mar 14, 2021

• big step forward! the parser works more or less correctly and handles import directives properly. now debugging the type checker

  vpisarev

  committed
  e62a409

• * updated Ast.fx, AstTypeChecker.fx, Parser.fx, Lexer.fx to match the latest state of the corresponding Ocaml modules.

  Show description for b12d272
  vpisarev

  committed
  b12d272

Commits on Mar 13, 2021

• the parser is basically done! it's able to handle even quite big files. But maybe the constructed AST is incorrect. After adding type checker we will likely catch most problems.

  vpisarev

  committed
  01fad03

Commits on Mar 12, 2021

• significantly extended the parser (almost to the complete language), not tested yet

  vpisarev

  committed
  7414171

Commits on Mar 10, 2021

• ported Ast pretty printer to Ficus. It compiles but most probably does not work

  vpisarev

  committed
  98dd10a

• * enabled record patterns in the function prototypes

  Show description for dbed285
  vpisarev

  committed
  dbed285

Commits on Mar 9, 2021

• * added the simple but efficient pretty-printing engine, a direct port of Dereck Oppen paper on pretty-printing

  Show description for 7539881
  vpisarev

  committed
  7539881

Commits on Mar 8, 2021

• added deque implementation and the relevant tests. It can be a useful data structure for the pretty-printer implementation

  vpisarev

  committed
  ad900b4

Commits on Mar 7, 2021

• compiled some tiny subset of the parser. Now need to briefly test it before moving on.

  vpisarev

  committed
  67aa796

Commits on Mar 6, 2021

• type cast operator finally does the right thing.

  vpisarev

  committed
  115448e

• added border extrapolation:

  Show description for 16f3bf6
  vpisarev

  committed
  16f3bf6

Commits on Mar 5, 2021

• 1. made the type checker a bit more intelligent. In some cases it can now automatically derive types of parameters of lambda functions (or, in general, internal functions) and find the proper varia…

  Show description for 3d1fcc2
  vpisarev

  committed
  3d1fcc2

Commits on Mar 4, 2021

• 1. make each function that has untyped arguments a template function automatically. This is a step towards more compact lambda notation

  Show description for 29ff5cd
  vpisarev

  committed
  29ff5cd

• 1. removed somewhat controversal "break with" operator. 'with' keyword is still reserved though. Apparently some of the 'break with' use cases contained bug.

  Show description for 4dcf1c8
  vpisarev

  committed
  4dcf1c8

Commits on Mar 3, 2021

• many changes:

  Show description for 15cccd5
  vpisarev

  committed
  15cccd5

Commits on Mar 2, 2021

• made None, [] and other parameter-less constructors of template types more convenient to use. Now their type can often be omitted.

  vpisarev

  committed
  f974236

Commits on Mar 1, 2021

• * started implementation of the parser.

  Show description for 0f263e8
  vpisarev

  committed
  0f263e8

Commits on Feb 27, 2021

• * converted type checker from ocaml to ficus. it almost compiles (the 'as' pattern seems to be processed incorrectly)

  Show description for a526a41
  vpisarev

  committed
  a526a41

• successfully compiled converted to Ficus Ast.fx

  vpisarev

  committed
  8603ea9

• compiler's options.ml was converted to ficus

  vpisarev

  committed
  f784ab3

• some more improvements:

  Show description for d492892
  vpisarev

  committed
  d492892

Commits on Feb 26, 2021

• many small changes:

  Show description for b92b3a7
  vpisarev

  committed
  b92b3a7

Commits on Feb 25, 2021

• started conversion of compiler to Ficus. Ast.fx is in progress

  vpisarev

  committed
  d9f55f8

Pagination

PreviousNext