Soonad / Moonad

An upcoming operating system built on Type-Theory
43 stars 5 forks source link

Update Moonad to Formality 0.4.12 #93

Closed johnchandlerburnham closed 4 years ago

johnchandlerburnham commented 4 years ago

Formality has grown a lot and not all files in Moonad are using the latest conventions and language features.

We need to go through each file and update to latest.

@MaiaVictor @MaisaMilena @gabriel-barrett @neocastro post the files you want update responsibility for here.

I would like String.fm, List.fm and Parsec.fm.

johnchandlerburnham commented 4 years ago

@MaisaMilena @neocastro I closed previous separate issues so we can track everything in one place

MaisaMilena commented 4 years ago

I have Arelin and F64. Arelin depends on F64, List, and Map. F64 have some error on .fmc that I still have to check.

neocastro commented 4 years ago

I'll take U16, U32 and U64

MaisaMilena commented 4 years ago
gabriel-barrett commented 4 years ago

I'll take Nat, Bool, Function and also the small ones: Concat, Newtype, Nonempty, Set, Show, Stringifier, Subset, The, UFind, UNode

DONE

neocastro commented 4 years ago

Finished the Us, moving on to Data

gabriel-barrett commented 4 years ago

I'll take A, Core, Debug, Lang, Data

johnchandlerburnham commented 4 years ago

List and String are done enough for anything that previously depended on them. I will need to add some things when I implement the parser: https://github.com/moonad/Moonad/pull/97