From 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 16 Jun 2022 00:48:19 -0400
Subject: De-sigil-ification: suffix : [Part 13]

---
 stdlib/source/test/aedifex/profile.lux | 34 +++++++++++++++++-----------------
 1 file changed, 17 insertions(+), 17 deletions(-)

(limited to 'stdlib/source/test/aedifex/profile.lux')

diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 5a040973e..a71284333 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -39,62 +39,62 @@
     [repository
      [remote (.only Address)]]]]])
 
-(def: distribution
+(def distribution
   (Random /.Distribution)
   (random.or (random#in [])
              (random#in [])))
 
-(def: license
+(def license
   (Random /.License)
   (all random.and
        (random.alphabetic 1)
        (random.alphabetic 1)
        ..distribution))
 
-(def: scm
+(def scm
   (Random /.SCM)
   (random.alphabetic 1))
 
-(def: organization
+(def organization
   (Random /.Organization)
   (all random.and
        (random.alphabetic 1)
        (random.alphabetic 1)))
 
-(def: email
+(def email
   (Random /.Email)
   (random.alphabetic 1))
 
-(def: developer
+(def developer
   (Random /.Developer)
   (all random.and
        (random.alphabetic 1)
        (random.alphabetic 1)
        (random.maybe organization)))
 
-(def: contributor
+(def contributor
   (Random /.Contributor)
   ..developer)
 
-(def: (list_of random)
+(def (list_of random)
   (All (_ a) (-> (Random a) (Random (List a))))
   (do [! random.monad]
     [size (at ! each (n.% 5) random.nat)]
     (random.list size random)))
 
-(def: (set_of hash random)
+(def (set_of hash random)
   (All (_ a) (-> (Hash a) (Random a) (Random (Set a))))
   (at random.functor each
       (set.of_list hash)
       (..list_of random)))
 
-(def: (dictionary_of key_hash key_random value_random)
+(def (dictionary_of key_hash key_random value_random)
   (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
   (at random.functor each
       (dictionary.of_list key_hash)
       (..list_of (random.and key_random value_random))))
 
-(def: info
+(def info
   (Random /.Info)
   (all random.and
        (random.maybe (random.alphabetic 1))
@@ -107,23 +107,23 @@
        (..list_of ..contributor)
        ))
 
-(def: name
+(def name
   (Random /.Name)
   (random.alphabetic 1))
 
-(def: repository
+(def repository
   (Random Address)
   (random.alphabetic 1))
 
-(def: source
+(def source
   (Random /.Source)
   (random.alphabetic 1))
 
-(def: target
+(def target
   (Random /.Target)
   (random.alphabetic 1))
 
-(def: .public random
+(def .public random
   (Random /.Profile)
   (all random.and
        (..list_of ..name)
@@ -147,7 +147,7 @@
        (random#in //runtime.default_ruby)
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Distribution /.License /.SCM /.Organization
-- 
cgit v1.2.3