2023-04-29 12:33:05 +03:00
|
|
|
================================================================================
|
|
|
|
|
Types
|
|
|
|
|
================================================================================
|
|
|
|
|
|
2023-04-11 13:49:22 +03:00
|
|
|
alias T1 = Int
|
2023-03-31 12:10:12 +03:00
|
|
|
|
2023-04-11 13:49:22 +03:00
|
|
|
abstract (T2 : #A #B #C)
|
2023-03-31 12:10:12 +03:00
|
|
|
|
2023-04-11 13:49:22 +03:00
|
|
|
// Used to pre-compile module for some types
|
2023-04-26 01:02:53 +03:00
|
|
|
let T2 = Int
|
|
|
|
|
let T2 = Float
|
|
|
|
|
let T2 = Complex
|
2023-04-29 12:33:05 +03:00
|
|
|
|
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
|
(source_file
|
|
|
|
|
(source_statement
|
|
|
|
|
(alias_definition_statement
|
|
|
|
|
(type_identifier)
|
|
|
|
|
(type_expression
|
|
|
|
|
(type_subexpression
|
|
|
|
|
(type_identifier)))))
|
|
|
|
|
(source_statement
|
|
|
|
|
(abstract_type_definition_statement
|
|
|
|
|
(annotated_type
|
|
|
|
|
(type_identifier)
|
|
|
|
|
(typeclass_expression
|
|
|
|
|
(typeclass_subexpression
|
|
|
|
|
(typeclass_identifier)))
|
|
|
|
|
(typeclass_expression
|
|
|
|
|
(typeclass_subexpression
|
|
|
|
|
(typeclass_identifier)))
|
|
|
|
|
(typeclass_expression
|
|
|
|
|
(typeclass_subexpression
|
|
|
|
|
(typeclass_identifier))))))
|
|
|
|
|
(source_statement
|
|
|
|
|
(alias_definition_statement
|
|
|
|
|
(type_identifier)
|
|
|
|
|
(type_expression
|
|
|
|
|
(type_subexpression
|
|
|
|
|
(type_identifier)))))
|
|
|
|
|
(source_statement
|
|
|
|
|
(alias_definition_statement
|
|
|
|
|
(type_identifier)
|
|
|
|
|
(type_expression
|
|
|
|
|
(type_subexpression
|
|
|
|
|
(type_identifier)))))
|
|
|
|
|
(source_statement
|
|
|
|
|
(alias_definition_statement
|
|
|
|
|
(type_identifier)
|
|
|
|
|
(type_expression
|
|
|
|
|
(type_subexpression
|
|
|
|
|
(type_identifier))))))
|
