search

anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
457 stars 53 forks source link

Group tables related to typechecking #3056

Closed janmasrovira closed 1 month ago

janmasrovira commented 1 month ago

I've grouped tables related to typechecking:

data TypeCheckingTables = TypeCheckingTables
  { _typeCheckingTablesTypesTable :: TypesTable,
    _typeCheckingTablesFunctionsTable :: FunctionsTable,
    _typeCheckingTablesInstanceTable :: InstanceTable,
    _typeCheckingTablesCoercionTable :: CoercionTable
  }