mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-04 08:42:50 -06:00
Maltese RGL: removed 'case' inflections from nouns
This commit is contained in:
john.j.camilleri
@@ -1,495 +1,491 @@
|
||||
-- NumeralMlt.gf: cardinals and ordinals
|
||||
--
|
||||
-- Maltese Resource Grammar Library
|
||||
-- John J. Camilleri, 2011
|
||||
-- John J. Camilleri, 2012
|
||||
-- Licensed under LGPL
|
||||
|
||||
concrete NumeralMlt of Numeral = CatMlt [Numeral,Digits] ** open Prelude,ResMlt in {
|
||||
|
||||
flags coding=utf8 ;
|
||||
flags coding=utf8 ;
|
||||
|
||||
-- Numeral, Digit
|
||||
-- Dig, Digits
|
||||
|
||||
{-
|
||||
-- This code taken from examples/numerals/maltese.sty in GF darcs repository, July 2011.
|
||||
-- Original author unknown
|
||||
-- This code taken from examples/numerals/maltese.sty in GF darcs repository, July 2011.
|
||||
-- Original author unknown
|
||||
|
||||
-- ABSTRACT definitions copied from lib/src/abstract/Numeral.gf
|
||||
-- ABSTRACT definitions copied from lib/src/abstract/Numeral.gf
|
||||
|
||||
-- Numerals from 1 to 999999 in decimal notation
|
||||
cat
|
||||
Numeral ; -- 0..
|
||||
Digit ; -- 2..9
|
||||
Sub10 ; -- 1..9
|
||||
Sub100 ; -- 1..99
|
||||
Sub1000 ; -- 1..999
|
||||
Sub1000000 ; -- 1..999999
|
||||
-- Numerals from 1 to 999999 in decimal notation
|
||||
cat
|
||||
Numeral ; -- 0..
|
||||
Digit ; -- 2..9
|
||||
Sub10 ; -- 1..9
|
||||
Sub100 ; -- 1..99
|
||||
Sub1000 ; -- 1..999
|
||||
Sub1000000 ; -- 1..999999
|
||||
|
||||
data
|
||||
num : Sub1000000 -> Numeral ;
|
||||
data
|
||||
num : Sub1000000 -> Numeral ;
|
||||
|
||||
n2, n3, n4, n5, n6, n7, n8, n9 : Digit ;
|
||||
n2, n3, n4, n5, n6, n7, n8, n9 : Digit ;
|
||||
|
||||
pot01 : Sub10 ; -- 1
|
||||
pot0 : Digit -> Sub10 ; -- d * 1
|
||||
pot110 : Sub100 ; -- 10
|
||||
pot111 : Sub100 ; -- 11
|
||||
pot1to19 : Digit -> Sub100 ; -- 10 + d
|
||||
pot0as1 : Sub10 -> Sub100 ; -- coercion of 1..9
|
||||
pot1 : Digit -> Sub100 ; -- d * 10
|
||||
pot1plus : Digit -> Sub10 -> Sub100 ; -- d * 10 + n
|
||||
pot1as2 : Sub100 -> Sub1000 ; -- coercion of 1..99
|
||||
pot2 : Sub10 -> Sub1000 ; -- m * 100
|
||||
pot2plus : Sub10 -> Sub100 -> Sub1000 ; -- m * 100 + n
|
||||
pot2as3 : Sub1000 -> Sub1000000 ; -- coercion of 1..999
|
||||
pot3 : Sub1000 -> Sub1000000 ; -- m * 1000
|
||||
pot3plus : Sub1000 -> Sub1000 -> Sub1000000 ; -- m * 1000 + n
|
||||
pot01 : Sub10 ; -- 1
|
||||
pot0 : Digit -> Sub10 ; -- d * 1
|
||||
pot110 : Sub100 ; -- 10
|
||||
pot111 : Sub100 ; -- 11
|
||||
pot1to19 : Digit -> Sub100 ; -- 10 + d
|
||||
pot0as1 : Sub10 -> Sub100 ; -- coercion of 1..9
|
||||
pot1 : Digit -> Sub100 ; -- d * 10
|
||||
pot1plus : Digit -> Sub10 -> Sub100 ; -- d * 10 + n
|
||||
pot1as2 : Sub100 -> Sub1000 ; -- coercion of 1..99
|
||||
pot2 : Sub10 -> Sub1000 ; -- m * 100
|
||||
pot2plus : Sub10 -> Sub100 -> Sub1000 ; -- m * 100 + n
|
||||
pot2as3 : Sub1000 -> Sub1000000 ; -- coercion of 1..999
|
||||
pot3 : Sub1000 -> Sub1000000 ; -- m * 1000
|
||||
pot3plus : Sub1000 -> Sub1000 -> Sub1000000 ; -- m * 1000 + n
|
||||
-}
|
||||
oper
|
||||
Form1 = {
|
||||
s : DForm => CardOrd => Num_Case => Str ;
|
||||
--thou : CardOrd => Str ;
|
||||
thou : { s : Str ; treatAs : DForm } ;
|
||||
n : Num_Number ;
|
||||
} ;
|
||||
Form2 = {
|
||||
s : CardOrd => Num_Case => Str ;
|
||||
--thou : CardOrd => Str ;
|
||||
thou : { s : Str ; treatAs : DForm } ;
|
||||
n : Num_Number ;
|
||||
f : DForm ;
|
||||
} ;
|
||||
oper
|
||||
Form1 = {
|
||||
s : DForm => CardOrd => Num_Case => Str ;
|
||||
--thou : CardOrd => Str ;
|
||||
thou : { s : Str ; treatAs : DForm } ;
|
||||
n : Num_Number ;
|
||||
} ;
|
||||
Form2 = {
|
||||
s : CardOrd => Num_Case => Str ;
|
||||
--thou : CardOrd => Str ;
|
||||
thou : { s : Str ; treatAs : DForm } ;
|
||||
n : Num_Number ;
|
||||
f : DForm ;
|
||||
} ;
|
||||
|
||||
|
||||
lincat
|
||||
Digit = Form1 ;
|
||||
Sub10 = Form1 ;
|
||||
Sub100 = Form2 ;
|
||||
Sub1000 = Form2 ;
|
||||
Sub1000000 = Form2 ;
|
||||
lincat
|
||||
Digit = Form1 ;
|
||||
Sub10 = Form1 ;
|
||||
Sub100 = Form2 ;
|
||||
Sub1000 = Form2 ;
|
||||
Sub1000000 = Form2 ;
|
||||
|
||||
oper
|
||||
oper
|
||||
|
||||
-- Make a "number" (in this case a Form1)
|
||||
-- Should be moved to ResMlt ?
|
||||
-- Params:
|
||||
-- unit, eg TNEJN
|
||||
-- ordinal unit (without article), eg TIENI
|
||||
-- adjectival, eg ŻEWĠ
|
||||
-- teen, eg TNAX
|
||||
-- ten, eg GĦOXRIN
|
||||
-- number, eg NumDual
|
||||
--mkNum : Str -> Str -> Str -> Str -> Str -> Str -> Str -> Num_Number -> Form1 = \unit,ordunit,adjectival,teen,ten,hundred,thousand,num -> {
|
||||
mkNum : Str -> Str -> Str -> Str -> Str -> Num_Number -> Form1 = \unit,ordunit,adjectival,teen,ten,num ->
|
||||
let
|
||||
hundred = case num of {
|
||||
NumSg => "mija" ;
|
||||
NumDual => "mitejn" ;
|
||||
_ => adjectival
|
||||
} ;
|
||||
thousand = case num of {
|
||||
NumSg => "wieħed" ;
|
||||
NumDual => "elfejn" ;
|
||||
_ => case adjectival of {
|
||||
_ + "'" => (init adjectival) + "t" ; -- eg SEBA' -> SEBAT
|
||||
_ + "t" => adjectival ; -- eg SITT -> SITT
|
||||
_ => adjectival + "t" -- eg ĦAMES -> ĦAMEST
|
||||
}
|
||||
}
|
||||
in {
|
||||
s = table {
|
||||
Unit => table {
|
||||
NCard => table {
|
||||
NumNominative => unit ; -- eg TNEJN
|
||||
NumAdjectival => adjectival -- eg ŻEWĠ
|
||||
} ;
|
||||
NOrd => \\numcase => definiteArticle ++ ordunit -- eg IT-TIENI
|
||||
} ;
|
||||
Teen => table {
|
||||
NCard => table {
|
||||
NumNominative => teen ; -- eg TNAX
|
||||
NumAdjectival => teen + "-il" -- eg TNAX-IL
|
||||
} ;
|
||||
NOrd => table {
|
||||
NumNominative => definiteArticle ++ teen ; -- eg IT-TNAX
|
||||
NumAdjectival => definiteArticle ++ (teen + "-il") -- eg IT-TNAX-IL
|
||||
}
|
||||
} ;
|
||||
Ten => table {
|
||||
NCard => \\numcase => ten ; -- eg TLETIN
|
||||
NOrd => \\numcase => definiteArticle ++ ten -- eg IT-TLETIN
|
||||
} ;
|
||||
Hund => table {
|
||||
NCard => case num of {
|
||||
NumSg => table {
|
||||
NumNominative => "mija" ; -- ie MIJA
|
||||
NumAdjectival => "mitt" -- ie MITT suldat
|
||||
} ;
|
||||
NumDual => \\numcase => hundred ; -- ie MITEJN
|
||||
_ => table {
|
||||
NumNominative => hundred ++ "mija" ; -- eg MIJA, SEBA' MIJA
|
||||
NumAdjectival => hundred ++ "mitt" -- eg MITT, SEBA' MITT suldat
|
||||
}
|
||||
} ;
|
||||
NOrd => case num of {
|
||||
NumSg => table {
|
||||
NumNominative => definiteArticle ++ "mija" ; -- ie IL-MIJA
|
||||
NumAdjectival => definiteArticle ++ "mitt" -- ie IL-MITT suldat
|
||||
} ;
|
||||
NumDual => \\numcase => definiteArticle ++ hundred ; -- ie IL-MITEJN, IL-MITEJN suldat
|
||||
_ => table {
|
||||
NumNominative => definiteArticle ++ hundred ++ "mija" ; -- eg IS-SEBA' MIJA
|
||||
NumAdjectival => definiteArticle ++ hundred ++ "mitt" -- eg IS-SEBA' MITT suldat
|
||||
}
|
||||
}
|
||||
}
|
||||
} ;
|
||||
-- thou = thousand ;
|
||||
thou = { s = thousand ; treatAs = Unit } ;
|
||||
n = num ;
|
||||
} ;
|
||||
-- Make a "number" (in this case a Form1)
|
||||
-- Should be moved to ResMlt ?
|
||||
-- Params:
|
||||
-- unit, eg TNEJN
|
||||
-- ordinal unit (without article), eg TIENI
|
||||
-- adjectival, eg ŻEWĠ
|
||||
-- teen, eg TNAX
|
||||
-- ten, eg GĦOXRIN
|
||||
-- number, eg NumDual
|
||||
--mkNum : Str -> Str -> Str -> Str -> Str -> Str -> Str -> Num_Number -> Form1 = \unit,ordunit,adjectival,teen,ten,hundred,thousand,num -> {
|
||||
mkNum : Str -> Str -> Str -> Str -> Str -> Num_Number -> Form1 = \unit,ordunit,adjectival,teen,ten,num ->
|
||||
let
|
||||
hundred = case num of {
|
||||
NumSg => "mija" ;
|
||||
NumDual => "mitejn" ;
|
||||
_ => adjectival
|
||||
} ;
|
||||
thousand = case num of {
|
||||
NumSg => "wieħed" ;
|
||||
NumDual => "elfejn" ;
|
||||
_ => case adjectival of {
|
||||
_ + "'" => (init adjectival) + "t" ; -- eg SEBA' -> SEBAT
|
||||
_ + "t" => adjectival ; -- eg SITT -> SITT
|
||||
_ => adjectival + "t" -- eg ĦAMES -> ĦAMEST
|
||||
}
|
||||
}
|
||||
in {
|
||||
s = table {
|
||||
Unit => table {
|
||||
NCard => table {
|
||||
NumNominative => unit ; -- eg TNEJN
|
||||
NumAdjectival => adjectival -- eg ŻEWĠ
|
||||
} ;
|
||||
NOrd => \\numcase => definiteArticle ++ ordunit -- eg IT-TIENI
|
||||
} ;
|
||||
Teen => table {
|
||||
NCard => table {
|
||||
NumNominative => teen ; -- eg TNAX
|
||||
NumAdjectival => teen + "-il" -- eg TNAX-IL
|
||||
} ;
|
||||
NOrd => table {
|
||||
NumNominative => definiteArticle ++ teen ; -- eg IT-TNAX
|
||||
NumAdjectival => definiteArticle ++ (teen + "-il") -- eg IT-TNAX-IL
|
||||
}
|
||||
} ;
|
||||
Ten => table {
|
||||
NCard => \\numcase => ten ; -- eg TLETIN
|
||||
NOrd => \\numcase => definiteArticle ++ ten -- eg IT-TLETIN
|
||||
} ;
|
||||
Hund => table {
|
||||
NCard => case num of {
|
||||
NumSg => table {
|
||||
NumNominative => "mija" ; -- ie MIJA
|
||||
NumAdjectival => "mitt" -- ie MITT suldat
|
||||
} ;
|
||||
NumDual => \\numcase => hundred ; -- ie MITEJN
|
||||
_ => table {
|
||||
NumNominative => hundred ++ "mija" ; -- eg MIJA, SEBA' MIJA
|
||||
NumAdjectival => hundred ++ "mitt" -- eg MITT, SEBA' MITT suldat
|
||||
}
|
||||
} ;
|
||||
NOrd => case num of {
|
||||
NumSg => table {
|
||||
NumNominative => definiteArticle ++ "mija" ; -- ie IL-MIJA
|
||||
NumAdjectival => definiteArticle ++ "mitt" -- ie IL-MITT suldat
|
||||
} ;
|
||||
NumDual => \\numcase => definiteArticle ++ hundred ; -- ie IL-MITEJN, IL-MITEJN suldat
|
||||
_ => table {
|
||||
NumNominative => definiteArticle ++ hundred ++ "mija" ; -- eg IS-SEBA' MIJA
|
||||
NumAdjectival => definiteArticle ++ hundred ++ "mitt" -- eg IS-SEBA' MITT suldat
|
||||
}
|
||||
}
|
||||
}
|
||||
} ;
|
||||
-- thou = thousand ;
|
||||
thou = { s = thousand ; treatAs = Unit } ;
|
||||
n = num ;
|
||||
} ;
|
||||
|
||||
lin
|
||||
-- Unit Ord.Unit Adjectival Teen Ten Number
|
||||
n2 = mkNum "tnejn" "tieni" "żewġ" "tnax" "għoxrin" NumDual ;
|
||||
n3 = mkNum "tlieta" "tielet" "tlett" "tlettax" "tletin" NumPl ; -- TODO tlett / tliet ?
|
||||
n4 = mkNum "erbgħa" "raba'" "erba'" "erbatax" "erbgħin" NumPl ;
|
||||
n5 = mkNum "ħamsa" "ħames" "ħames" "ħmistax" "ħamsin" NumPl ;
|
||||
n6 = mkNum "sitta" "sitt" "sitt" "sittax" "sittin" NumPl ;
|
||||
n7 = mkNum "sebgħa" "seba'" "seba'" "sbatax" "sebgħin" NumPl ;
|
||||
n8 = mkNum "tmienja" "tmin" "tmin" "tmintax" "tmenin" NumPl ;
|
||||
n9 = mkNum "disgħa" "disa'" "disa'" "dsatax" "disgħin" NumPl ;
|
||||
lin
|
||||
-- Unit Ord.Unit Adjectival Teen Ten Number
|
||||
n2 = mkNum "tnejn" "tieni" "żewġ" "tnax" "għoxrin" NumDual ;
|
||||
n3 = mkNum "tlieta" "tielet" "tlett" "tlettax" "tletin" NumPl ; -- TODO tlett / tliet ?
|
||||
n4 = mkNum "erbgħa" "raba'" "erba'" "erbatax" "erbgħin" NumPl ;
|
||||
n5 = mkNum "ħamsa" "ħames" "ħames" "ħmistax" "ħamsin" NumPl ;
|
||||
n6 = mkNum "sitta" "sitt" "sitt" "sittax" "sittin" NumPl ;
|
||||
n7 = mkNum "sebgħa" "seba'" "seba'" "sbatax" "sebgħin" NumPl ;
|
||||
n8 = mkNum "tmienja" "tmin" "tmin" "tmintax" "tmenin" NumPl ;
|
||||
n9 = mkNum "disgħa" "disa'" "disa'" "dsatax" "disgħin" NumPl ;
|
||||
|
||||
oper
|
||||
-- Helper functions for below
|
||||
mkForm2 : Form2 = overload {
|
||||
oper
|
||||
-- Helper functions for below
|
||||
mkForm2 : Form2 = overload {
|
||||
|
||||
-- Infer adjectival, thousands
|
||||
mkForm2 : Str -> Str -> DForm -> Form2 = \card,ord,form -> {
|
||||
s = table {
|
||||
NCard => \\numcase => card ;
|
||||
NOrd => \\numcase => ord
|
||||
} ;
|
||||
--thou = card ;
|
||||
thou = { s = card ; treatAs = form } ;
|
||||
n = NumPl ;
|
||||
f = form ;
|
||||
} ;
|
||||
-- Infer adjectival, thousands
|
||||
mkForm2 : Str -> Str -> DForm -> Form2 = \card,ord,form -> {
|
||||
s = table {
|
||||
NCard => \\numcase => card ;
|
||||
NOrd => \\numcase => ord
|
||||
} ;
|
||||
--thou = card ;
|
||||
thou = { s = card ; treatAs = form } ;
|
||||
n = NumPl ;
|
||||
f = form ;
|
||||
} ;
|
||||
|
||||
-- Explicit everything
|
||||
mkForm2 : Str -> Str -> Str -> Str -> DForm -> Form2 = \card,ord,adj,thousand,form -> {
|
||||
s = table {
|
||||
NCard => table {
|
||||
NumNominative => card ;
|
||||
NumAdjectival => adj
|
||||
} ;
|
||||
--NOrd => \\numcase => addDefiniteArticle ord
|
||||
NOrd => table {
|
||||
NumNominative => definiteArticle ++ ord ;
|
||||
NumAdjectival => definiteArticle ++ adj
|
||||
}
|
||||
} ;
|
||||
--thou = thousand ;
|
||||
thou = { s = thousand ; treatAs = form } ;
|
||||
n = NumPl ;
|
||||
f = form ;
|
||||
} ;
|
||||
-- Explicit everything
|
||||
mkForm2 : Str -> Str -> Str -> Str -> DForm -> Form2 = \card,ord,adj,thousand,form -> {
|
||||
s = table {
|
||||
NCard => table {
|
||||
NumNominative => card ;
|
||||
NumAdjectival => adj
|
||||
} ;
|
||||
--NOrd => \\numcase => addDefiniteArticle ord
|
||||
NOrd => table {
|
||||
NumNominative => definiteArticle ++ ord ;
|
||||
NumAdjectival => definiteArticle ++ adj
|
||||
}
|
||||
} ;
|
||||
--thou = thousand ;
|
||||
thou = { s = thousand ; treatAs = form } ;
|
||||
n = NumPl ;
|
||||
f = form ;
|
||||
} ;
|
||||
|
||||
-- Given an existing table
|
||||
mkForm2 : (CardOrd => Num_Case => Str) -> DForm -> Form2 = \tab,form -> {
|
||||
s = tab ;
|
||||
thou = {
|
||||
s = case form of {
|
||||
Teen => tab ! NCard ! NumAdjectival ;
|
||||
_ => tab ! NCard ! NumNominative
|
||||
} ;
|
||||
treatAs = form ;
|
||||
} ;
|
||||
n = NumPl ;
|
||||
f = form ;
|
||||
} ;
|
||||
-- Given an existing table
|
||||
mkForm2 : (CardOrd => Num_Case => Str) -> DForm -> Form2 = \tab,form -> {
|
||||
s = tab ;
|
||||
thou = {
|
||||
s = case form of {
|
||||
Teen => tab ! NCard ! NumAdjectival ;
|
||||
_ => tab ! NCard ! NumNominative
|
||||
} ;
|
||||
treatAs = form ;
|
||||
} ;
|
||||
n = NumPl ;
|
||||
f = form ;
|
||||
} ;
|
||||
|
||||
}; -- end of mkForm2 overload
|
||||
}; -- end of mkForm2 overload
|
||||
|
||||
lin
|
||||
lin
|
||||
|
||||
-- Sub1000000 -> Numeral
|
||||
num x = x ;
|
||||
-- Sub1000000 -> Numeral
|
||||
num x = x ;
|
||||
|
||||
-- Sub10 ; 1
|
||||
-- Unit Ord.Unit Adjectival Teen Ten Number
|
||||
pot01 = mkNum "wieħed" "ewwel" "wieħed" [] [] NumSg ;
|
||||
-- Sub10 ; 1
|
||||
-- Unit Ord.Unit Adjectival Teen Ten Number
|
||||
pot01 = mkNum "wieħed" "ewwel" "wieħed" [] [] NumSg ;
|
||||
|
||||
-- Digit -> Sub10 ; d * 1
|
||||
pot0 d = d ** {n = case d.n of { NumDual => NumDual ; _ => NumPl } } ;
|
||||
-- Digit -> Sub10 ; d * 1
|
||||
pot0 d = d ** {n = case d.n of { NumDual => NumDual ; _ => NumPl } } ;
|
||||
|
||||
-- Sub100 ; 10, 11
|
||||
-- Cardinal Ordinal Adjectival Thousand Form
|
||||
pot110 = mkForm2 "għaxra" "għaxar" "għaxar" "għaxart" Unit ;
|
||||
pot111 = mkForm2 "ħdax" "ħdax" "ħdax-il" "ħdax-il" Teen ;
|
||||
-- Sub100 ; 10, 11
|
||||
-- Cardinal Ordinal Adjectival Thousand Form
|
||||
pot110 = mkForm2 "għaxra" "għaxar" "għaxar" "għaxart" Unit ;
|
||||
pot111 = mkForm2 "ħdax" "ħdax" "ħdax-il" "ħdax-il" Teen ;
|
||||
{-
|
||||
pot110 = {
|
||||
s = table {
|
||||
NCard => table {
|
||||
NumNominative => "għaxra" ;
|
||||
NumAdjectival => "għaxar"
|
||||
} ;
|
||||
NOrd => \\numcase => addDefiniteArticle "għaxar"
|
||||
} ;
|
||||
thou = table {
|
||||
NCard => "għaxart" ;
|
||||
NOrd => addDefiniteArticle "għaxart"
|
||||
} ;
|
||||
n = NumPl ;
|
||||
f = Ten ;
|
||||
} ;
|
||||
pot110 = {
|
||||
s = table {
|
||||
NCard => table {
|
||||
NumNominative => "għaxra" ;
|
||||
NumAdjectival => "għaxar"
|
||||
} ;
|
||||
NOrd => \\numcase => addDefiniteArticle "għaxar"
|
||||
} ;
|
||||
thou = table {
|
||||
NCard => "għaxart" ;
|
||||
NOrd => addDefiniteArticle "għaxart"
|
||||
} ;
|
||||
n = NumPl ;
|
||||
f = Ten ;
|
||||
} ;
|
||||
-}
|
||||
|
||||
-- Digit -> Sub100 ; 10 + d
|
||||
pot1to19 d =
|
||||
mkForm2
|
||||
(d.s ! Teen)
|
||||
Teen
|
||||
;
|
||||
-- Digit -> Sub100 ; 10 + d
|
||||
pot1to19 d =
|
||||
mkForm2
|
||||
(d.s ! Teen)
|
||||
Teen
|
||||
;
|
||||
|
||||
-- Sub10 -> Sub100 ; coercion of 1..9
|
||||
pot0as1 d = {
|
||||
s = d.s ! Unit ;
|
||||
thou = d.thou ;
|
||||
n = d.n ;
|
||||
f = Unit ;
|
||||
} ;
|
||||
-- Sub10 -> Sub100 ; coercion of 1..9
|
||||
pot0as1 d = {
|
||||
s = d.s ! Unit ;
|
||||
thou = d.thou ;
|
||||
n = d.n ;
|
||||
f = Unit ;
|
||||
} ;
|
||||
|
||||
-- Digit -> Sub100 ; d * 10
|
||||
pot1 d =
|
||||
mkForm2
|
||||
(d.s ! Ten)
|
||||
Ten
|
||||
;
|
||||
-- Digit -> Sub100 ; d * 10
|
||||
pot1 d =
|
||||
mkForm2
|
||||
(d.s ! Ten)
|
||||
Ten
|
||||
;
|
||||
|
||||
-- Digit -> Sub10 -> Sub100 ; d * 10 + n
|
||||
pot1plus d n =
|
||||
let unit = (n.s ! Unit ! NCard ! NumNominative) in
|
||||
mkForm2
|
||||
(unit ++ "u" ++ (d.s ! Ten ! NCard ! NumNominative))
|
||||
(definiteArticle ++ unit ++ "u" ++ (d.s ! Ten ! NCard ! NumNominative))
|
||||
Ten
|
||||
;
|
||||
-- Digit -> Sub10 -> Sub100 ; d * 10 + n
|
||||
pot1plus d n =
|
||||
let unit = (n.s ! Unit ! NCard ! NumNominative) in
|
||||
mkForm2
|
||||
(unit ++ "u" ++ (d.s ! Ten ! NCard ! NumNominative))
|
||||
(definiteArticle ++ unit ++ "u" ++ (d.s ! Ten ! NCard ! NumNominative))
|
||||
Ten
|
||||
;
|
||||
|
||||
-- Sub100 -> Sub1000 ; coercion of 1..99
|
||||
pot1as2 m = m ;
|
||||
-- Sub100 -> Sub1000 ; coercion of 1..99
|
||||
pot1as2 m = m ;
|
||||
|
||||
-- Sub10 -> Sub1000 ; m * 100
|
||||
pot2 m = {
|
||||
s = m.s ! Hund ;
|
||||
thou = {
|
||||
s = case m.n of {
|
||||
NumSg => "mitt" ; -- Special case for "mitt elf"
|
||||
NumDual => "mitejn" ; -- Special case for "mitejn elf"
|
||||
_ => m.thou.s
|
||||
} ;
|
||||
treatAs = Hund ;
|
||||
} ;
|
||||
n = NumPl ;
|
||||
f = Hund ;
|
||||
} ;
|
||||
-- Sub10 -> Sub1000 ; m * 100
|
||||
pot2 m = {
|
||||
s = m.s ! Hund ;
|
||||
thou = {
|
||||
s = case m.n of {
|
||||
NumSg => "mitt" ; -- Special case for "mitt elf"
|
||||
NumDual => "mitejn" ; -- Special case for "mitejn elf"
|
||||
_ => m.thou.s
|
||||
} ;
|
||||
treatAs = Hund ;
|
||||
} ;
|
||||
n = NumPl ;
|
||||
f = Hund ;
|
||||
} ;
|
||||
|
||||
-- Sub10 -> Sub100 -> Sub1000 ; m * 100 + n
|
||||
pot2plus m n =
|
||||
let
|
||||
hund : Str = m.s ! Hund ! NCard ! NumNominative
|
||||
in {
|
||||
s = table {
|
||||
NCard => table {
|
||||
NumNominative => hund ++ "u" ++ n.s ! NCard ! NumNominative ;
|
||||
NumAdjectival => hund ++ "u" ++ n.s ! NCard ! NumAdjectival
|
||||
} ;
|
||||
NOrd => table {
|
||||
NumNominative => definiteArticle ++ hund ++ "u" ++ n.s ! NCard ! NumNominative ;
|
||||
NumAdjectival => definiteArticle ++ hund ++ "u" ++ n.s ! NCard ! NumAdjectival
|
||||
}
|
||||
} ;
|
||||
thou = {
|
||||
s = hund ++ "u" ++ n.thou.s ;
|
||||
treatAs = case n.n of {
|
||||
NumSg => Ten ; -- specific case for mija u wiehed elf
|
||||
_ => n.f -- eg So that "106,000" is treated as "6,000"
|
||||
} ;
|
||||
} ;
|
||||
n = NumPl ;
|
||||
f = Hund ;
|
||||
} ;
|
||||
-- Sub10 -> Sub100 -> Sub1000 ; m * 100 + n
|
||||
pot2plus m n =
|
||||
let
|
||||
hund : Str = m.s ! Hund ! NCard ! NumNominative
|
||||
in {
|
||||
s = table {
|
||||
NCard => table {
|
||||
NumNominative => hund ++ "u" ++ n.s ! NCard ! NumNominative ;
|
||||
NumAdjectival => hund ++ "u" ++ n.s ! NCard ! NumAdjectival
|
||||
} ;
|
||||
NOrd => table {
|
||||
NumNominative => definiteArticle ++ hund ++ "u" ++ n.s ! NCard ! NumNominative ;
|
||||
NumAdjectival => definiteArticle ++ hund ++ "u" ++ n.s ! NCard ! NumAdjectival
|
||||
}
|
||||
} ;
|
||||
thou = {
|
||||
s = hund ++ "u" ++ n.thou.s ;
|
||||
treatAs = case n.n of {
|
||||
NumSg => Ten ; -- specific case for mija u wiehed elf
|
||||
_ => n.f -- eg So that "106,000" is treated as "6,000"
|
||||
} ;
|
||||
} ;
|
||||
n = NumPl ;
|
||||
f = Hund ;
|
||||
} ;
|
||||
|
||||
-- Sub1000 -> Sub1000000 ; coercion of 1..999
|
||||
pot2as3 m = m ;
|
||||
-- Sub1000 -> Sub1000000 ; coercion of 1..999
|
||||
pot2as3 m = m ;
|
||||
|
||||
-- Sub1000 -> Sub1000000 ; m * 1000
|
||||
pot3 m = {
|
||||
s =
|
||||
case m.n of {
|
||||
NumSg => numTable "elf" ; -- 1 * 1000
|
||||
NumDual => numTable "elfejn" ; -- 2 * 2000
|
||||
NumPl => case m.thou.treatAs of {
|
||||
Unit => numTable m.thou.s "elef" ; -- 3-10 * 1000
|
||||
_ => numTable m.thou.s "elf" -- 11+ * 1000
|
||||
}
|
||||
} ;
|
||||
-- Sub1000 -> Sub1000000 ; m * 1000
|
||||
pot3 m = {
|
||||
s =
|
||||
case <m.n, m.thou.treatAs> of {
|
||||
<NumSg ,_> => numTable "elf" ; -- 1 * 1000
|
||||
<NumDual,_> => numTable "elfejn" ; -- 2 * 2000
|
||||
<NumPl ,Unit> => numTable m.thou.s "elef" ; -- 3-10 * 1000
|
||||
<NumPl ,_> => numTable m.thou.s "elf" -- 11+ * 1000
|
||||
} ;
|
||||
{-
|
||||
case m.f of {
|
||||
Unit => numTable m.thou "elef" ; --
|
||||
_ => case m.n of {
|
||||
NumSg => numTable "elf" ; --
|
||||
NumDual => numTable "elfejn" ; --
|
||||
NumPl => numTable m.thou "elf" --
|
||||
}
|
||||
} ;
|
||||
case m.f of {
|
||||
Unit => numTable m.thou "elef" ; --
|
||||
_ => case m.n of {
|
||||
NumSg => numTable "elf" ; --
|
||||
NumDual => numTable "elfejn" ; --
|
||||
NumPl => numTable m.thou "elf" --
|
||||
}
|
||||
} ;
|
||||
-}
|
||||
thou = {
|
||||
s = m.thou.s ;
|
||||
treatAs = m.f ;
|
||||
} ;
|
||||
n = NumPl ;
|
||||
f = Hund ; -- NOT IMPORTANT
|
||||
} ;
|
||||
thou = {
|
||||
s = m.thou.s ;
|
||||
treatAs = m.f ;
|
||||
} ;
|
||||
n = NumPl ;
|
||||
f = Hund ; -- NOT IMPORTANT
|
||||
} ;
|
||||
|
||||
-- Sub1000 -> Sub1000 -> Sub1000000 ; m * 1000 + n
|
||||
pot3plus m n = {
|
||||
s =
|
||||
let
|
||||
ukemm = table {
|
||||
NumNominative => "u" ++ (n.s ! NCard ! NumNominative) ;
|
||||
NumAdjectival => "u" ++ (n.s ! NCard ! NumAdjectival)
|
||||
}
|
||||
in
|
||||
case m.n of {
|
||||
-- Sub1000 -> Sub1000 -> Sub1000000 ; m * 1000 + n
|
||||
pot3plus m n = {
|
||||
s =
|
||||
let
|
||||
ukemm = table {
|
||||
NumNominative => "u" ++ (n.s ! NCard ! NumNominative) ;
|
||||
NumAdjectival => "u" ++ (n.s ! NCard ! NumAdjectival)
|
||||
}
|
||||
in
|
||||
case <m.n, m.thou.treatAs> of {
|
||||
<NumSg ,_> => numTable "elf" ukemm ;
|
||||
<NumDual,_> => numTable "elfejn" ukemm ;
|
||||
<NumPl ,Unit> => numTable (m.thou.s ++ "elef") ukemm ;
|
||||
<NumPl ,_> => numTable (m.thou.s ++ "elf") ukemm
|
||||
} ;
|
||||
{-
|
||||
NumSg => elf2 "elf" ukemm ;
|
||||
NumDual => elf2 "elfejn" ukemm ;
|
||||
NumPl => case m.f of {
|
||||
Unit => elf2 m.thou ("elef" ++ ukemm) ;
|
||||
_ => elf2 m.thou ("elf" ++ ukemm)
|
||||
}
|
||||
NumSg => elf2 "elf" ukemm ;
|
||||
NumDual => elf2 "elfejn" ukemm ;
|
||||
NumPl => case m.f of {
|
||||
Unit => elf2 m.thou ("elef" ++ ukemm) ;
|
||||
_ => elf2 m.thou ("elf" ++ ukemm)
|
||||
}
|
||||
-}
|
||||
NumSg => numTable "elf" ukemm ;
|
||||
NumDual => numTable "elfejn" ukemm ;
|
||||
NumPl => case m.thou.treatAs of {
|
||||
Unit => numTable (m.thou.s ++ "elef") ukemm ;
|
||||
_ => numTable (m.thou.s ++ "elf") ukemm
|
||||
}
|
||||
} ;
|
||||
thou = {
|
||||
s = m.thou.s ;
|
||||
treatAs = m.f ;
|
||||
} ;
|
||||
n = NumPl ;
|
||||
f = Hund ; -- NOT IMPORTANT
|
||||
} ;
|
||||
thou = {
|
||||
s = m.thou.s ;
|
||||
treatAs = m.f ;
|
||||
} ;
|
||||
n = NumPl ;
|
||||
f = Hund ; -- NOT IMPORTANT
|
||||
} ;
|
||||
|
||||
oper
|
||||
-- Build "x thousand" table
|
||||
numTable : (CardOrd => Num_Case => Str) = overload {
|
||||
oper
|
||||
-- Build "x thousand" table
|
||||
numTable : (CardOrd => Num_Case => Str) = overload {
|
||||
|
||||
numTable : Str -> (CardOrd => Num_Case => Str) = \thou -> table {
|
||||
NCard => \\numcase => thou ;
|
||||
NOrd => \\numcase => definiteArticle ++ thou
|
||||
} ;
|
||||
numTable : Str -> (CardOrd => Num_Case => Str) = \thou -> table {
|
||||
NCard => \\numcase => thou ;
|
||||
NOrd => \\numcase => definiteArticle ++ thou
|
||||
} ;
|
||||
|
||||
numTable : Str -> Str -> (CardOrd => Num_Case => Str) = \thou,attach -> table {
|
||||
NCard => \\numcase => thou ++ attach ;
|
||||
NOrd => \\numcase => definiteArticle ++ thou ++ attach
|
||||
} ;
|
||||
numTable : Str -> Str -> (CardOrd => Num_Case => Str) = \thou,attach -> table {
|
||||
NCard => \\numcase => thou ++ attach ;
|
||||
NOrd => \\numcase => definiteArticle ++ thou ++ attach
|
||||
} ;
|
||||
|
||||
numTable : Str -> (Num_Case => Str) -> (CardOrd => Num_Case => Str) = \thou,attach -> table {
|
||||
NCard => table {
|
||||
NumNominative => thou ++ (attach ! NumNominative) ;
|
||||
NumAdjectival => thou ++ (attach ! NumAdjectival)
|
||||
} ;
|
||||
NOrd => table {
|
||||
NumNominative => definiteArticle ++ thou ++ (attach ! NumNominative) ;
|
||||
NumAdjectival => definiteArticle ++ thou ++ (attach ! NumAdjectival)
|
||||
}
|
||||
} ;
|
||||
numTable : Str -> (Num_Case => Str) -> (CardOrd => Num_Case => Str) = \thou,attach -> table {
|
||||
NCard => table {
|
||||
NumNominative => thou ++ (attach ! NumNominative) ;
|
||||
NumAdjectival => thou ++ (attach ! NumAdjectival)
|
||||
} ;
|
||||
NOrd => table {
|
||||
NumNominative => definiteArticle ++ thou ++ (attach ! NumNominative) ;
|
||||
NumAdjectival => definiteArticle ++ thou ++ (attach ! NumAdjectival)
|
||||
}
|
||||
} ;
|
||||
|
||||
} ;
|
||||
} ;
|
||||
{-
|
||||
-- elf : (CardOrd => Str) = overload {
|
||||
elf : Str -> (CardOrd => Num_Case => Str) = \m -> table {
|
||||
NCard => \\numcase => m ;
|
||||
NOrd => \\numcase => addDefiniteArticle m
|
||||
} ;
|
||||
elf2 : Str -> Str -> (CardOrd => Num_Case => Str) = \m,n -> table {
|
||||
NCard => \\numcase => m ++ n ;
|
||||
NOrd => \\numcase => (addDefiniteArticle m) ++ n
|
||||
} ;
|
||||
-- elf : (CardOrd => Str) = overload {
|
||||
elf : Str -> (CardOrd => Num_Case => Str) = \m -> table {
|
||||
NCard => \\numcase => m ;
|
||||
NOrd => \\numcase => addDefiniteArticle m
|
||||
} ;
|
||||
elf2 : Str -> Str -> (CardOrd => Num_Case => Str) = \m,n -> table {
|
||||
NCard => \\numcase => m ++ n ;
|
||||
NOrd => \\numcase => (addDefiniteArticle m) ++ n
|
||||
} ;
|
||||
-}
|
||||
-- } ;
|
||||
-- } ;
|
||||
|
||||
{-
|
||||
Numerals as sequences of digits have a separate, simpler grammar
|
||||
================================================================
|
||||
Numerals as sequences of digits have a separate, simpler grammar
|
||||
================================================================
|
||||
|
||||
cat
|
||||
Dig ; -- single digit 0..9
|
||||
cat
|
||||
Dig ; -- single digit 0..9
|
||||
|
||||
data
|
||||
IDig : Dig -> Digits ; -- 8
|
||||
IIDig : Dig -> Digits -> Digits ; -- 876
|
||||
data
|
||||
IDig : Dig -> Digits ; -- 8
|
||||
IIDig : Dig -> Digits -> Digits ; -- 876
|
||||
|
||||
D_0, D_1, D_2, D_3, D_4, D_5, D_6, D_7, D_8, D_9 : Dig ;
|
||||
D_0, D_1, D_2, D_3, D_4, D_5, D_6, D_7, D_8, D_9 : Dig ;
|
||||
-}
|
||||
|
||||
lincat
|
||||
lincat
|
||||
|
||||
Dig = {
|
||||
s : Str ;
|
||||
n : Num_Number
|
||||
} ;
|
||||
Dig = {
|
||||
s : Str ;
|
||||
n : Num_Number
|
||||
} ;
|
||||
|
||||
oper
|
||||
-- Helper for making a Dig object. Specifying no number inplies plural.
|
||||
mkDig : Dig = overload {
|
||||
mkDig : Str -> Dig = \digit -> lin Dig {
|
||||
s = digit ;
|
||||
n = NumPl
|
||||
} ;
|
||||
mkDig : Str -> Num_Number -> Dig = \digit,num -> lin Dig {
|
||||
s = digit ;
|
||||
n = num
|
||||
} ;
|
||||
} ;
|
||||
oper
|
||||
-- Helper for making a Dig object. Specifying no number inplies plural.
|
||||
mkDig : Dig = overload {
|
||||
mkDig : Str -> Dig = \digit -> lin Dig {
|
||||
s = digit ;
|
||||
n = NumPl
|
||||
} ;
|
||||
mkDig : Str -> Num_Number -> Dig = \digit,num -> lin Dig {
|
||||
s = digit ;
|
||||
n = num
|
||||
} ;
|
||||
} ;
|
||||
|
||||
-- For correct comma placement in Digits
|
||||
commaIf : DTail -> Str = \t -> case t of {
|
||||
T3 => "," ;
|
||||
_ => []
|
||||
} ;
|
||||
inc : DTail -> DTail = \t -> case t of {
|
||||
T1 => T2 ;
|
||||
T2 => T3 ;
|
||||
T3 => T1
|
||||
} ;
|
||||
-- For correct comma placement in Digits
|
||||
commaIf : DTail -> Str = \t -> case t of {
|
||||
T3 => "," ;
|
||||
_ => []
|
||||
} ;
|
||||
inc : DTail -> DTail = \t -> case t of {
|
||||
T1 => T2 ;
|
||||
T2 => T3 ;
|
||||
T3 => T1
|
||||
} ;
|
||||
|
||||
lin
|
||||
D_0 = mkDig "0" ;
|
||||
D_1 = mkDig "1" NumSg ;
|
||||
D_2 = mkDig "2" NumDual ;
|
||||
D_3 = mkDig "3" ;
|
||||
D_4 = mkDig "4" ;
|
||||
D_5 = mkDig "5" ;
|
||||
D_6 = mkDig "6" ;
|
||||
D_7 = mkDig "7" ;
|
||||
D_8 = mkDig "8" ;
|
||||
D_9 = mkDig "9" ;
|
||||
lin
|
||||
D_0 = mkDig "0" ;
|
||||
D_1 = mkDig "1" NumSg ;
|
||||
D_2 = mkDig "2" NumDual ;
|
||||
D_3 = mkDig "3" ;
|
||||
D_4 = mkDig "4" ;
|
||||
D_5 = mkDig "5" ;
|
||||
D_6 = mkDig "6" ;
|
||||
D_7 = mkDig "7" ;
|
||||
D_8 = mkDig "8" ;
|
||||
D_9 = mkDig "9" ;
|
||||
|
||||
-- Create Digits from a Dig
|
||||
IDig d = d ** {tail = T1} ;
|
||||
-- Create Digits from a Dig
|
||||
IDig d = d ** {tail = T1} ;
|
||||
|
||||
-- Create Digits from combining Dig with Digits
|
||||
IIDig d i = {
|
||||
s = d.s ++ (commaIf i.tail) ++ i.s ;
|
||||
n = NumPl ;
|
||||
tail = inc i.tail
|
||||
} ;
|
||||
-- Create Digits from combining Dig with Digits
|
||||
IIDig d i = {
|
||||
s = d.s ++ (commaIf i.tail) ++ i.s ;
|
||||
n = NumPl ;
|
||||
tail = inc i.tail
|
||||
} ;
|
||||
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user