diff options
| author | Eduardo Julian | 2018-05-20 21:04:03 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-05-20 21:04:03 -0400 |
| commit | 14e96f5e5dad439383d63e60a52169cc2e7aaa5c (patch) | |
| tree | 606398bbf6742a476a2599d9b25c184c71eae5c7 /new-luxc/source/luxc/lang/host/php.lux | |
| parent | 19d38211c33faf6d5fe01665982d696643f60051 (diff) | |
- Re-named "Top" to "Any", and "Bottom" to "Nothing".
- Removed some modules that should have been deleted before.
Diffstat (limited to 'new-luxc/source/luxc/lang/host/php.lux')
| -rw-r--r-- | new-luxc/source/luxc/lang/host/php.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/new-luxc/source/luxc/lang/host/php.lux b/new-luxc/source/luxc/lang/host/php.lux index 982989320..603888d3e 100644 --- a/new-luxc/source/luxc/lang/host/php.lux +++ b/new-luxc/source/luxc/lang/host/php.lux @@ -7,11 +7,11 @@ (coll [list "list/" Functor<List> Fold<List>])) (type abstract))) -(abstract: Global' {} Top) -(abstract: Var' {} Top) -(abstract: Computation' {} Top) -(abstract: (Expression' k) {} Top) -(abstract: Statement' {} Top) +(abstract: Global' {} Any) +(abstract: Var' {} Any) +(abstract: Computation' {} Any) +(abstract: (Expression' k) {} Any) +(abstract: Statement' {} Any) (abstract: (Code' k) {} |