ref: ae1d242d7d48292779dcbd953e5864bb4211e1ca Carth/src/TypeAst.hs -rw-r--r-- 1.3 KiB
Update stackage release & use default-extensions in cabal file

Also, fix some minor breakages caused by ghc update, fix the
literate.org example, fix some new warnings, and get rid of the need
for a bunch of Data implementations by using basic parsing functions
in SystemSpec.hs.
Add IO newtype. Make main be of type IO

Better error messages and shorter to type than the whole realworld
function shebang
Make main IO Unit, i.e. (Fun RealWorld [Unit RealWorld])
Make (i8*) the generic ptr type instead of ({}*)

I just think it will play nicer with LLVM. Everything gets messy when
zero-sized types are involved.
Extract tests from CheckSpec to individual files in test/tests/bad

SystemSpec now runs those and verifies the type errors match what's expected
Define carth type literals only once in TypeAst

Like mainType, tUnit, etc. Use the class TypeAst to allow them to
construct any Type, e.g. Parsed.Type.