diff options
| author | johnvg | 2012-08-14 10:39:44 +0000 |
|---|---|---|
| committer | johnvg | 2012-08-14 10:39:44 +0000 |
| commit | 7c5e3ff056c054ef5cd94962808163073d48c0d0 (patch) | |
| tree | 3d7589ea9c9748dc4bcd64d9a59c6c7516c20d97 /frontend/syntax.dcl | |
| parent | add extendable algebraic data types (merged from iTask branch) (diff) | |
rename extendable to extensible
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2150 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index ab17380..c935783 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -186,7 +186,7 @@ instance == FunctionOrMacroIndex | NewTypeCons !ParsedConstructor | EmptyRhs !BITVECT | AbstractTypeSpec !BITVECT !AType - | ExtendableConses ![ParsedConstructor] + | ExtensibleConses ![ParsedConstructor] | MoreConses !Ident ![ParsedConstructor] :: CollectedDefinitions instance_kind = @@ -526,7 +526,7 @@ cIsImportedObject :== False | NewType !DefinedSymbol | AbstractType !BITVECT | AbstractSynType !BITVECT !AType - | ExtendableAlgType ![DefinedSymbol] + | ExtensibleAlgType ![DefinedSymbol] | AlgConses ![DefinedSymbol] !GlobalIndex | UncheckedAlgConses !Ident ![DefinedSymbol] | UnknownType |