mirror of
https://github.com/anoma/juvix.git
synced 2024-12-21 13:51:38 +03:00
3030196fdd
* Closes #2968 * Implements detection of function-like definitions, which either: - have some arguments on the left of `:`, or - have at least one clause. * Only function-like definitions are recursive. * Non-recursive definitions are not mutually recursive either, and can be used only after their definition. This necessitates rearranging some definitions in existing Juvix code. * Changes the scoping of identifiers in record updates. Now field names on the right side don't refer to the old values of the record fields but to identifiers in scope defined outside the record update. To refer to old values, one needs to explicitly use record projections, e.g. ``` r@Rec{x := Rec.x r} ```
90 lines
3.1 KiB
Bash
Executable File
90 lines
3.1 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
function count() {
|
|
cloc $1 | grep 'SUM:' | awk '{print $5}'
|
|
}
|
|
|
|
function count_ext () {
|
|
find $2 -name $1 -print | xargs sed '/^[[:space:]]*$/d' | wc -l | tr -d ' '
|
|
}
|
|
|
|
RUNTIME_C=$(count runtime/c/src/juvix)
|
|
RUNTIME_RUST=$(count runtime/rust/juvix/src)
|
|
RUNTIME_VAMPIR=$(count_ext '*.pir' runtime/vampir)
|
|
RUNTIME_JVT=$(count_ext '*.jvt' runtime/tree)
|
|
RUNTIME_CASM=$(count_ext '*.casm' runtime/casm)
|
|
|
|
RUNTIME=$((RUNTIME_C+RUNTIME_RUST+RUNTIME_VAMPIR+RUNTIME_JVT+RUNTIME_CASM))
|
|
|
|
BACKENDC=$(count src/Juvix/Compiler/Backend/C/)
|
|
BACKENDRUST=$(count src/Juvix/Compiler/Backend/Rust/)
|
|
CAIRO=$(count src/Juvix/Compiler/Backend/Cairo/)
|
|
VAMPIR=$(count src/Juvix/Compiler/Backend/VampIR/)
|
|
CASM=$(count src/Juvix/Compiler/Casm/)
|
|
NOCK=$(count src/Juvix/Compiler/Nockma)
|
|
REG=$(count src/Juvix/Compiler/Reg/)
|
|
ASM=$(count src/Juvix/Compiler/Asm/)
|
|
TREE=$(count src/Juvix/Compiler/Tree/)
|
|
CORE=$(count src/Juvix/Compiler/Core/)
|
|
|
|
CONCRETE=$(count src/Juvix/Compiler/Concrete/)
|
|
INTERNAL=$(count src/Juvix/Compiler/Internal/)
|
|
BUILTINS=$(count src/Juvix/Compiler/Builtins/)
|
|
PIPELINE=$(count src/Juvix/Compiler/Pipeline/)
|
|
|
|
APP=$(count app/)
|
|
HTML=$(count src/Juvix/Compiler/Backend/Html/)
|
|
MARKDOWN=$(count src/Juvix/Compiler/Backend/Markdown/)
|
|
ISABELLE=$(count src/Juvix/Compiler/Backend/Isabelle/)
|
|
EXTRA=$(count src/Juvix/Extra/)
|
|
DATA=$(count src/Juvix/Data/)
|
|
PRELUDE=$(count src/Juvix/Prelude/)
|
|
STORE=$(count src/Juvix/Compiler/Store/)
|
|
ANOMA=$(count src/Anoma/)
|
|
PARALLEL=$(count src/Parallel/)
|
|
|
|
FRONT=$((CONCRETE + INTERNAL + BUILTINS + PIPELINE))
|
|
BACK=$((BACKENDC + BACKENDRUST + VAMPIR + NOCK + REG + ASM + TREE + CORE + CASM + CAIRO))
|
|
OTHER=$((APP + STORE + HTML + MARKDOWN + ISABELLE + EXTRA + DATA + PRELUDE + ANOMA + PARALLEL))
|
|
TESTS=$(count test/)
|
|
STDLIB=$(count_ext '*.juvix' juvix-stdlib/Stdlib)
|
|
|
|
TOTAL=$((FRONT+BACK+OTHER+TESTS))
|
|
|
|
echo "Front end: $FRONT LOC"
|
|
echo " Concrete: $CONCRETE LOC"
|
|
echo " Internal: $INTERNAL LOC"
|
|
echo " Builtins: $BUILTINS LOC"
|
|
echo " Pipeline: $PIPELINE LOC"
|
|
echo "Middle and back end: $BACK LOC"
|
|
echo " VampIR backend: $VAMPIR LOC"
|
|
echo " C backend: $BACKENDC LOC"
|
|
echo " Rust backend: $BACKENDRUST LOC"
|
|
echo " Cairo backend: $((CASM + CAIRO)) LOC"
|
|
echo " Nockma backend: $NOCK LOC"
|
|
echo " JuvixReg: $REG LOC"
|
|
echo " JuvixAsm: $ASM LOC"
|
|
echo " JuvixTree: $TREE LOC"
|
|
echo " JuvixCore: $CORE LOC"
|
|
echo "Runtime: $RUNTIME LOC"
|
|
echo " C runtime: $RUNTIME_C LOC"
|
|
echo " Rust runtime: $RUNTIME_RUST LOC"
|
|
echo " JuvixTree runtime: $RUNTIME_JVT LOC"
|
|
echo " Cairo assembly runtime: $RUNTIME_CASM LOC"
|
|
echo " VampIR runtime: $RUNTIME_VAMPIR LOC"
|
|
echo "Other: $OTHER LOC"
|
|
echo " Application: $APP LOC"
|
|
echo " Store: $STORE LOC"
|
|
echo " Html: $HTML LOC"
|
|
echo " Markdown: $MARKDOWN LOC"
|
|
echo " Isabelle: $ISABELLE LOC"
|
|
echo " Extra: $EXTRA LOC"
|
|
echo " Data: $DATA LOC"
|
|
echo " Prelude: $PRELUDE LOC"
|
|
echo " Anoma: $ANOMA LOC"
|
|
echo " Parallel: $PARALLEL LOC"
|
|
echo "Tests: $TESTS LOC"
|
|
echo "Standard library: $STDLIB LOC"
|
|
echo ""
|
|
echo "Total: $TOTAL Haskell LOC + $STDLIB Juvix LOC + $RUNTIME_C C LOC + $RUNTIME_RUST Rust LOC + $RUNTIME_JVT JuvixTree LOC + $RUNTIME_CASM CASM LOC + $RUNTIME_VAMPIR VampIR LOC"
|