diff options
| author | Camil Staps | 2016-07-01 09:11:02 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-07-01 09:11:02 +0200 |
| commit | 55e6cadc298beda9d079d99147b3cb0f50ce25ec (patch) | |
| tree | dd28e78845843d2dff7d2b3daa2b60f5520e8b7e /Descriptors.dcl | |
| parent | Fixes (diff) | |
Printing
Diffstat (limited to 'Descriptors.dcl')
| -rw-r--r-- | Descriptors.dcl | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/Descriptors.dcl b/Descriptors.dcl deleted file mode 100644 index 7c0dad6..0000000 --- a/Descriptors.dcl +++ /dev/null @@ -1,14 +0,0 @@ -definition module ABC.Descriptors - -from ABC.Def import ::Arity, ::InstrId, ::Name, ::APEntry, ::DescId - -:: Desc = Desc APEntry Arity Name - -d_ap_entry :: Desc -> InstrId -d_arity :: Desc -> Arity -d_name :: Desc -> String - -:: DescStore (:== [Desc]) - -ds_get :: DescId DescStore -> Desc -ds_init :: [Desc] -> DescStore |