fungi-lang 0.1.63

Fungi: A typed, functional language for programs that name their cached dependency graphs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

use examples::seq_nat;
use examples::list_nat;
use examples::fifo;
use examples::stream_nat;

fgi_mod!{
    open crate::examples::list_nat
    open crate::examples::seq_nat;
    open crate::examples::fifo;
    open crate::examples::stream_nat;


    fn seq_bfs:(
        Thk[0]
            0 Ref[?](Queue) ->
            0 Stream ->
        {?;?}
        F Ref[?](List[?][?])
    ) = {
        #queue. #res.
        let q = {get queue}
        ret ()
    }
}

pub mod dynamic_tests {
    /*
     * Try the following at the command line:
     *
     *  $ export FUNGI_VERBOSE_REDUCE=1
     *
     *  $ cargo test examples::seq_nat_dfs -- --nocapture | less -R
     *
     */
    #[test]
    pub fn short() { fgi_dynamic_trace!{
        [Expect::SuccessXXX]
        open crate::examples::seq_nat_bfs;
        open crate::examples::seq_nat_gen;

        /// Generate the input sequence
        let s = {{force seq_gen} 10}

        /// Perform the BFS
        let nil = {ref (@@nil) inj1 ()}
        let l = {{force seq_bfs} s nil}

        /// All done
        ret (s, l)
    }}
}