kodept 0.1.2

Simple compiler with dependent types support in mind
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

module Prim {
    struct String(ptr: Pointer, length: USize, capacity: USise)
    struct Array(ptr: Pointer, length: USize, capacity: USize) {}
    struct Person(name: String, address: String, phones: Array) {
    	fun print_person(p: Person) {
    		print(p.name)
    		print(" ")
    		print(p.address)

            val phones = p.phones
            var phones = p.phones
            if phones.ptr != Pointer.none => print(phones)
    	}
    	fun print_person(p: Person) {
    		print(p.name)
    		print("")
    		print("", p.address, 2 + 2 == 4)

            val phones = p.phones
            var phones = p.phones
            if phones.ptr != Pointer.none => print(phones)
    	}
    }
}