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

Ast #273

Merged
merged 100 commits into from
May 16, 2024
Merged

Ast #273

merged 100 commits into from
May 16, 2024

Commits on Mar 8, 2024

  1. thorin/fe -> thorin/ast 

    Also puts this stuff in thorin::ast
    @leissa
    leissa committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    eaa470d View commit details
    Browse the repository at this point in the history

  2. stubbing ast

    @leissa
    leissa committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    27351b8 View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2024

  1. Merge branch 'ast' into ast2

    @leissa
    leissa committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    e5899c4 View commit details
    Browse the repository at this point in the history

  2. wip: AST

    @leissa
    leissa committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    3e7efa1 View commit details
    Browse the repository at this point in the history

  3. wip: more AST

    @leissa
    leissa committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    2e357b6 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2024

  1. it compiles but doesn't link yet

    @leissa
    leissa committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    866ddba View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2024

  1. first ast dumps working

    @leissa
    leissa committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    9c0533f View commit details
    Browse the repository at this point in the history

  2. use Dbg instead of Sym for identifiers

    @leissa
    leissa committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    7ae73d7 View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2024

  1. parsing of axioms and more AST streaming + bug fixes

    @leissa
    leissa committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    5cfe1f6 View commit details
    Browse the repository at this point in the history

  2. Lambda: parse .extern

    @leissa
    leissa committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    6bbe54a View commit details
    Browse the repository at this point in the history

  3. LetDecl: allow annex again

    @leissa
    leissa committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    d36db5d View commit details
    Browse the repository at this point in the history

  4. remove thorin IR dependencies from thorin::ast

    @leissa
    leissa committed Mar 30, 2024
    Configuration menu
    Copy the full SHA
    8fe6526 View commit details
    Browse the repository at this point in the history

Commits on Mar 31, 2024

  1. bug fixes + tune AST output

    @leissa
    leissa committed Mar 31, 2024
    Configuration menu
    Copy the full SHA
    ed6ba35 View commit details
    Browse the repository at this point in the history

  2. wip: ast bind

    @leissa
    leissa committed Mar 31, 2024
    Configuration menu
    Copy the full SHA
    8398987 View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2024

  1. AST wip: bind names

    @leissa
    leissa committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    1971158 View commit details
    Browse the repository at this point in the history

  2. wip: bind names

    @leissa
    leissa committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    a7afbd2 View commit details
    Browse the repository at this point in the history

  3. fiddling around with ErrorExpr

    @leissa
    leissa committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    7ae89df View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2024

  1. wip: bind names

    @leissa
    leissa committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    ea0a148 View commit details
    Browse the repository at this point in the history

  2. most stuff parsing and binding again

    @leissa
    leissa committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    43294aa View commit details
    Browse the repository at this point in the history

  3. stubs for emit

    @leissa
    leissa committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    492ee66 View commit details
    Browse the repository at this point in the history

  4. reorganize Ptrn/Decl

    @leissa
    leissa committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    f411ef5 View commit details
    Browse the repository at this point in the history

  5. missing file

    @leissa
    leissa committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    3773dba View commit details
    Browse the repository at this point in the history

  6. silence double rebind

    @leissa
    leissa committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    0c24f7b View commit details
    Browse the repository at this point in the history

  7. wip: emit literals

    @leissa
    leissa committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    e5c7f28 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2024

  1. bug fix

    @leissa
    leissa committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    7821084 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'int' into ast

    @leissa
    leissa committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    61ba428 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'int' into ast

    @leissa
    leissa committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    59434fa View commit details
    Browse the repository at this point in the history

  4. wip: emit for Ptrns

    @leissa
    leissa committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    399eb7e View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2024

  1. .rec decl for recursive Sigma/Pi 

    Also: switched role of LamDecl/LamExpr
    @leissa
    leissa committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    0df9a6f View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. wip: emit

    @leissa
    leissa committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    403f642 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2024

  1. wip: emit lams

    @leissa
    leissa committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    a5be85e View commit details
    Browse the repository at this point in the history

  2. LamDecl::Dom inherits from PiExpr::Dom

    @leissa
    leissa committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    6d2e230 View commit details
    Browse the repository at this point in the history

  3. wip: emit Pis & Lams

    @leissa
    leissa committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    16f94e5 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. emit: cleanup + RetExpr

    @leissa
    leissa committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    004b277 View commit details
    Browse the repository at this point in the history

  2. emit: char

    @leissa
    leissa committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    fd3b933 View commit details
    Browse the repository at this point in the history

  3. improve error handling

    @leissa
    leissa committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    5bba504 View commit details
    Browse the repository at this point in the history

  4. polish

    @leissa
    leissa committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    37b52b0 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into ast

    @leissa
    leissa committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    f3421fe View commit details
    Browse the repository at this point in the history

  6. removed ReturnPtrn: not needed anymore

    @leissa
    leissa committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    642075b View commit details
    Browse the repository at this point in the history

  7. Annex: only use Driver instead of whole World

    @leissa
    leissa committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    9e8db1f View commit details
    Browse the repository at this point in the history

  8. introduce AxiomDecl::Alias

    @leissa
    leissa committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    c01dd4b View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. RecDecl now works for LamExpr

    @leissa
    leissa committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    18e227e View commit details
    Browse the repository at this point in the history

  2. wip: emit rec decls

    @leissa
    leissa committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    546ae23 View commit details
    Browse the repository at this point in the history

  3. wip: getting more emits to work

    @leissa
    leissa committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    72715b0 View commit details
    Browse the repository at this point in the history

  4. wip: emit

    @leissa
    leissa committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    b36b35a View commit details
    Browse the repository at this point in the history

  5. bug fix

    @leissa
    leissa committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    682f17f View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2024

  1. wip: emit

    @leissa
    leissa committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    9ea0001 View commit details
    Browse the repository at this point in the history

  2. emit: make lits work again

    @leissa
    leissa committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    dd77870 View commit details
    Browse the repository at this point in the history

  3. emit packs

    @leissa
    leissa committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    6d8b822 View commit details
    Browse the repository at this point in the history

  4. emit: immutabilize arr/pack if possible

    @leissa
    leissa committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    f95c41d View commit details
    Browse the repository at this point in the history

  5. introduce DeclExpr

    @leissa
    leissa committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    1356939 View commit details
    Browse the repository at this point in the history

  6. introduced "where" expression

    @leissa
    leissa committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    68d300c View commit details
    Browse the repository at this point in the history

  7. wip: reconnect to the rest again

    @leissa
    leissa committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    79feb0f View commit details
    Browse the repository at this point in the history

  8. allow redecl of axiom with subs

    @leissa
    leissa committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    e692e20 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. semicolon is now optional at the end of .let/.ax/.rec

    @leissa
    leissa committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    4c99dd2 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. first tests are working again

    @leissa
    leissa committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    c61298f View commit details
    Browse the repository at this point in the history

  2. bug fixes when registerring annexes

    @leissa
    leissa committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    5d964ec View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. bug fixes

    @leissa
    leissa committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    fe235a0 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. wip: bug fixing ...

    @leissa
    leissa committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    a6ff9cb View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into ast3

    @leissa
    leissa committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    7a98213 View commit details
    Browse the repository at this point in the history

  3. fixing bugs

    @leissa
    leissa committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    ea541ae View commit details
    Browse the repository at this point in the history

  4. more bug fixes + .grp decl

    @leissa
    leissa committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    2fd3ee0 View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2024

  1. wip: make rec sigma work

    @leissa
    leissa committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    789a0b5 View commit details
    Browse the repository at this point in the history

  2. fixing bugs

    @leissa
    leissa committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    de65b89 View commit details
    Browse the repository at this point in the history

  3. fixing bugs

    @leissa
    leissa committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    2024169 View commit details
    Browse the repository at this point in the history

  4. bug fixes

    @leissa
    leissa committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    7f7c841 View commit details
    Browse the repository at this point in the history

  5. more bug fixes

    @leissa
    leissa committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    c0144f3 View commit details
    Browse the repository at this point in the history

  6. polish

    @leissa
    leissa committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    7c49eb5 View commit details
    Browse the repository at this point in the history

  7. World: wip: push/pop emit loc

    @leissa
    leissa committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    02e594b View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2024

  1. bug fixes

    @leissa
    leissa committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    fcfdf8a View commit details
    Browse the repository at this point in the history

  2. bug fixes

    @leissa
    leissa committed Apr 21, 2024
    Configuration menu
    Copy the full SHA
    2dc3b3a View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2024

  1. more bug fixes

    @leissa
    leissa committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    34e3345 View commit details
    Browse the repository at this point in the history

  2. bug fixes

    @leissa
    leissa committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    cd5cc03 View commit details
    Browse the repository at this point in the history

  3. simplify ast::Prec madness

    @leissa
    leissa committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    8488db3 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. bug fix

    @leissa
    leissa committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    6cde3d7 View commit details
    Browse the repository at this point in the history

  2. moving stuff around

    @leissa
    leissa committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    4cefe87 View commit details
    Browse the repository at this point in the history

  3. all tests working again

    @leissa
    leissa committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    5f33ece View commit details
    Browse the repository at this point in the history

  4. fix md output + refactoring 

    * proper getters/setters for Dbg
    @leissa
    leissa committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    866ba3a View commit details
    Browse the repository at this point in the history

  5. removed !-filter 

    * Filter: @(expr) -> @expr
* old: .fun f!(A): B
* new: .fun f(A)@.tt: B
* Fix some bugs regarding utf8 output in lexer
    @leissa
    leissa committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    f06aed4 View commit details
    Browse the repository at this point in the history

  6. cleanup

    @leissa
    leissa committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    1176a4e View commit details
    Browse the repository at this point in the history

  7. cleanup

    @leissa
    leissa committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    2b5c3a6 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2024

  1. cleanup

    @leissa
    leissa committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    ac9ce24 View commit details
    Browse the repository at this point in the history

  2. make let in ptrns work

    @leissa
    leissa committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    344ab44 View commit details
    Browse the repository at this point in the history

  3. cleanup

    @leissa
    leissa committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    ef6fcd3 View commit details
    Browse the repository at this point in the history

  4. added warnings + hints

    @leissa
    leissa committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    8da1efc View commit details
    Browse the repository at this point in the history

  5. polish

    @leissa
    leissa committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    f4a21a5 View commit details
    Browse the repository at this point in the history

  6. fix endless loops in parse_pi_expr/parse_lam_decl

    @leissa
    leissa committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    6933c2b View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2024

  1. rework decls to explicitly use .and for mutal recursion

    @leissa
    leissa committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    2ce91c0 View commit details
    Browse the repository at this point in the history

  2. make .where truly upside down 

    * better error messages
    @leissa
    leissa committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    c9de8cf View commit details
    Browse the repository at this point in the history

  3. cleanup

    @leissa
    leissa committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    f0ba7d4 View commit details
    Browse the repository at this point in the history

  4. make actual input root module again

    @leissa
    leissa committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    2d57ac2 View commit details
    Browse the repository at this point in the history

  5. move bootstrap stuff to AST

    @leissa
    leissa committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    16e96b0 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. cleanup

    @leissa
    leissa committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    3d55ecd View commit details
    Browse the repository at this point in the history

  2. wip: cleanup annex magic

    @leissa
    leissa committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    fcd8884 View commit details
    Browse the repository at this point in the history

  3. deprecated BlockExpr 

    * added warning
* polished error handling
    @leissa
    leissa committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    caf78d9 View commit details
    Browse the repository at this point in the history

  4. Split Annex into Annex and ast::AnnexInfo

    @leissa
    leissa committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    7751e47 View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2024

  1. cleanup

    @leissa
    leissa committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    4cfc9e4 View commit details
    Browse the repository at this point in the history

  2. missing errors + further polishing of annexes/axioms

    @leissa
    leissa committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    3c92ef1 View commit details
    Browse the repository at this point in the history

  3. porting main_loop to .where expr

    @leissa
    leissa committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    b9dffe4 View commit details
    Browse the repository at this point in the history

  4. polish

    @leissa
    leissa committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    f21a72c View commit details
    Browse the repository at this point in the history