forked from vieter-v/vieter
20 lines
214 B
Coq
20 lines
214 B
Coq
|
module db
|
||
|
|
||
|
import sqlite
|
||
|
|
||
|
struct VieterDb {
|
||
|
conn sqlite.DB
|
||
|
}
|
||
|
|
||
|
pub fn init(db_path string) ?VieterDb {
|
||
|
conn := sqlite.connect(db_path) ?
|
||
|
|
||
|
sql conn {
|
||
|
create table GitRepo
|
||
|
}
|
||
|
|
||
|
return VieterDb{
|
||
|
conn: conn
|
||
|
}
|
||
|
}
|